Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Tests and Proofs

Name: Tests and Proofs
Brand: Springer International Publishing AG
SKU: 09361553
Price: 51.69 EUR
Availability: InStock
Author: Jasmin Christian Blanchette
ISBN: 9783319212142

9th International Conference, TAP 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 22-24, 2015. Proceedings

Jasmin Christian Blanchette

Nikolai Kosmatov

Sprache

Englisch

Buch Broschur

Libristo-Code: 09361553

Verlag Springer International Publishing AG, Juni 2015

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Vollständige Beschreibung

Libristo-Code: 09361553

127 b

51.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Gannibal 6 Masaaki Ninomiya

Broschur

10.00 €

Algorytmika praktyczna Stańczyk Piotr

Broschur

32.89 €

Hort- Bzw. Depotfunde Der Fr hbronzezeit in Mitteldeutschland Und Ihr Indikatorischer Wert F r Den Nachweis Sozialer Eliten Silvester Tamas

Broschur

17.95 €

Leggere la scuola. Antologia e laboratori per la scuola secondaria di primo grado Alice Bigli

Broschur

28.89 €

Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege

Broschur

47.95 €

Nevyřešené záhady Egypta Magdalena Zachardová

Hardcover

11.59 €

Hameleony Gennadij Murzin

Broschur

41.89 €

Cahiers du Cinéma N°754 - Herbier - avril 2019

Broschur

9.49 €

Mesačná víla Samuel Salay

Hardcover

4.59 €

Salin Kaliske Helene Böhlau

Broschur

36.90 €

Enchantimals 01 - Au secours de Felicity ! Mattel

Broschur

9.59 €

Dikkat Kan Araniyor Zehra Ebrar Bakir

Broschur

11.59 €

Préhistoires d'Europe Lehoerff anne

Buch

34.39 €

Comptines pour se relaxer Gilles Diederichs

Broschur

18.79 €

Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES)

Broschur

43.39 €

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency, and validation, among others. Many papers rely on interactive and automatic§theorem provers, including SMT solvers and model checkers.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Tests and Proofs

Autor Jasmin Christian Blanchette, Nikolai Kosmatov

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 209

EAN 9783319212142

ISBN 3319212141

Libristo-Code 09361553

Verlag Springer International Publishing AG

Gewicht 3577

Abmessungen 155 x 235 x 14

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Computermodellierung und -simulation

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert