- 5 Ergebnisse
Kleinster Preis: € 47,70, größter Preis: € 70,61, Mittelwert: € 65,98
1
Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers - Philipp Rümmer
Bestellen
bei ZVAB.com
€ 70,61
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Philipp Rümmer:

Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers - Taschenbuch

2018, ISBN: 3030035913

[EAN: 9783030035914], Neubuch, [SC: 0.0], [PU: Springer International Publishing], COMPILER; ÜBERSETZER (EDV); EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; EXPERTENSYSTEM; INFORMATI… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Verified Software. Theories, Tools, and Experiments - Ruzica Piskac; Philipp Rümmer
Bestellen
bei lehmanns.de
€ 70,61
Versand: € 9,951
Bestellen
Details beim Anbieter
gesponserter Link

Ruzica Piskac; Philipp Rümmer:

Verified Software. Theories, Tools, and Experiments - Taschenbuch

2018, ISBN: 9783030035914

10th International Conference, VSTTE 2018, Oxford, UK, July 18?19, 2018, Revised Selected Papers, Buch, Softcover, 1st ed. 2018, This volume constitutes the thoroughly refereed post-confe… Mehr…

Versandkosten:Versand in 15-20 Tagen. (EUR 9.95)
zuklappen (X)
3
Verified Software. Theories, Tools, and Experiments - Piskac, Ruzica|Rümmer, Philipp
Bestellen
bei AbeBooks.de
€ 47,70
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Piskac, Ruzica|Rümmer, Philipp:
Verified Software. Theories, Tools, and Experiments - Taschenbuch

2018

ISBN: 3030035913

[EAN: 9783030035914], Neubuch, [PU: Springer International Publishing], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INFORMATIK INFORMATIONSTECHNOLOGIE IT TECHNOLOGIE COMPILER ÜBERS… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
zuklappen (X)
4
Verified Software. Theories Tools and Experiments
Bestellen
bei Hugendubel.de
€ 70,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Verified Software. Theories Tools and Experiments - Taschenbuch

2018, ISBN: 3030035913

Verified Software. Theories Tools and Experiments ab 70.49 € als Taschenbuch: 10th International Conference VSTTE 2018 Oxford UK July 18-19 2018 Revised Selected Papers. Auflage 2018. Aus… Mehr…

Nr. 34417028. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
5
Verified Software. Theories Tools and Experiments
Bestellen
bei eBook.de
€ 70,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Verified Software. Theories Tools and Experiments - neues Buch

2018, ISBN: 3030035913

Verified Software. Theories Tools and Experiments - 10th International Conference VSTTE 2018 Oxford UK July 18-19 2018 Revised Selected Papers. Auflage 2018: ab 70.49 € Medien > Bücher

Nr. 34417028. Versandkosten:, , DE. (EUR 0.00)
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
Verified Software. Theories, Tools, and Experiments
Autor:
Titel:
ISBN-Nummer:

9783030035914

Detailangaben zum Buch - Verified Software. Theories, Tools, and Experiments


EAN (ISBN-13): 9783030035914
ISBN (ISBN-10): 3030035913
Taschenbuch
Erscheinungsjahr: 2018
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2019-01-30T19:45:46+01:00 (Berlin)
Detailseite zuletzt geändert am 2022-11-15T14:22:12+01:00 (Berlin)
ISBN/EAN: 9783030035914

ISBN - alternative Schreibweisen:
3-030-03591-3, 978-3-030-03591-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: software tools, theories theories

Daten vom Verlag:

Autor/in: Ruzica Piskac; Philipp Rümmer
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Verlag: Springer; Springer International Publishing
345 Seiten
Erscheinungsjahr: 2018-11-24
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVI, 345 p. 83 illus., 10 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; artificial intelligence; embedded systems; first order logic; formal logic; formal methods; hardware; java; logic programming; model checking; parallel processing systems; program compilers; program verification; programming language; programming languages; semantics; software engineering; software evaluation; specifications; theorem proving; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; System Performance and Evaluation; Special Purpose and Application-Based Systems; The Computing Profession; Theoretische Informatik; Compiler und Übersetzer; Systemanalyse und -design; Wissensbasierte Systeme, Expertensysteme; Informationstechnik (IT), allgemeine Themen; EA

< zum Archiv...