- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 55,60, Mittelwert: € 53,91
1
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings - Einar Broch Johnsen
Bestellen
bei AbeBooks.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Einar Broch Johnsen:

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings - Taschenbuch

2017, ISBN: 3319614665

[EAN: 9783319614663], Neubuch, [PU: Springer International Publishing], CAD - COMPUTER AIDED DESIGN; / PC-HARDWARE; EDV THEORIE PROGRAMMIEREN ALLGEMEINES; SOFTWARE-ENTW. SOFTWARE ENGINEER… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings - Johnsen, Einar Broch (Herausgeber); Gabmeyer, Sebastian (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Johnsen, Einar Broch (Herausgeber); Gabmeyer, Sebastian (Herausgeber):

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings - neues Buch

2017, ISBN: 3319614665

1st ed. 2017 Kartoniert / Broschiert CAD - Computer Aided Design, Computer / PC-Hardware, EDV / Theorie / Programmieren / Allgemeines, EDV / Theorie / Software-Entw. / Software Engineer… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19¿20, 2017, Proceedings - Johnsen, Einar Broch (Herausgeber); Gabmeyer, Sebastian (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Johnsen, Einar Broch (Herausgeber); Gabmeyer, Sebastian (Herausgeber):
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19¿20, 2017, Proceedings - neues Buch

2017

ISBN: 3319614665

1st ed. 2017 Kartoniert / Broschiert CAD - Computer Aided Design, Computer / PC-Hardware, EDV / Theorie / Programmieren / Allgemeines, EDV / Theorie / Software-Entw. / Software Engineer… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Tests and Proofs - Sebastian Gabmeyer; Einar Broch Johnsen
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Sebastian Gabmeyer; Einar Broch Johnsen:
Tests and Proofs - Taschenbuch

2017, ISBN: 9783319614663

This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
5
Tests and Proofs - Sebastian Gabmeyer; Einar Broch Johnsen
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 29,951
Bestellen
Details beim Anbieter
gesponserter Link
Sebastian Gabmeyer; Einar Broch Johnsen:
Tests and Proofs - Taschenbuch

2017, ISBN: 9783319614663

11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19?20, 2017, Proceedings, Buch, Softcover, 1st ed. 2017, [PU: Springer International Publishing]… Mehr…

Versandkosten:Versand in 10-14 Tagen. (EUR 29.95)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Tests and Proofs
Autor:
Titel:
ISBN-Nummer:

9783319614663

Detailangaben zum Buch - Tests and Proofs


EAN (ISBN-13): 9783319614663
ISBN (ISBN-10): 3319614665
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2017
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2017-06-10T08:59:15+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-06T15:12:57+01:00 (Berlin)
ISBN/EAN: 9783319614663

ISBN - alternative Schreibweisen:
3-319-61466-5, 978-3-319-61466-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: broch, joh seb, johnsen
Titel des Buches: vergil, marburg, germany

Daten vom Verlag:

Autor/in: Sebastian Gabmeyer; Einar Broch Johnsen
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Verlag: Springer; Springer International Publishing
163 Seiten
Erscheinungsjahr: 2017-06-18
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 163 p. 38 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; artificial intelligence; codes (symbols); computer aided software engineering; computer architecture; computer programming; computer software selection and evaluation; database systems; finite element method; formal logic; graph theory; linguistics; model checking; problem solving; program debugging; programming languages; semantics; software engineering; symbolic execution; theorem proving; verification; Software Engineering; Computer Engineering and Networks; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Computer-Aided Engineering (CAD, CAE) and Design; Programming Techniques; Computerhardware; Theoretische Informatik; Künstliche Intelligenz; Computer-Aided Design (CAD); Computerprogrammierung und Softwareentwicklung; EA

The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.


Includes supplementary material: sn.pub/extras
< zum Archiv...