. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.de

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Get it on iTunesJetzt bei Google Play
Tipp von eurobuch.de
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 90,48 €, größter Preis: 111,18 €, Mittelwert: 101,92 €
Tools and Algorithms for the Construction and Analysis of Systems - Marsha Chechik
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Marsha Chechik:

Tools and Algorithms for the Construction and Analysis of Systems - Taschenbuch

2016, ISBN: 9783662496732

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 44 full papers presented in this volume were carefully reviewed and selected from 175 submissions. They were organized in topical sections named: abstraction and verification probabilistic and stochastic systems synthesis tool papers concurrency tool demos languages and automata security optimization and competition on software verification - SV-COMP., [SC: 0.00], Neuware, gewerbliches Angebot, 236x157x55 mm, [GW: 1491g]

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tools and Algorithms for the Construction and Analysis of Systems als Buch von
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Tools and Algorithms for the Construction and Analysis of Systems als Buch von - gebunden oder broschiert

2016, ISBN: 9783662496732

ID: 350672296

Tools and Algorithms for the Construction and Analysis of Systems:22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Lecture Notes in Computer Science Theoretical Computer Science and General Issues. 1st ed. 2016 Tools and Algorithms for the Construction and Analysis of Systems:22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Lecture Notes in Computer Science Theoretical Computer Science and General Issues. 1st ed. 2016 Bücher > Ratgeber > Computer & Internet, Springer-Verlag GmbH

Neues Buch Hugendubel.de
No. 25703573 Versandkosten:, , DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tools and Algorithms for the Construction and Analysis of Systems - Marsha Chechik
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Marsha Chechik:
Tools and Algorithms for the Construction and Analysis of Systems - neues Buch

2016

ISBN: 9783662496732

ID: 19455dcea1ae1e225392e292475185f5

This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Netherlands, in April 2016, held as Part of theEuropean Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selectedfrom 175 submissions. They were organized in topical sections named: abstractionand verification probabilistic and stochastic systems synthesis tool papers concurrency tool demos languages and automata security optimization andcompetition on software verification - SV-COMP. Bücher / Naturwissenschaften, Medizin, Informatik & Technik / Informatik & EDV / Informatik

Neues Buch Dodax.ch
Nr. 580f6cecfe44c2092e9eb7eb Versandkosten:Versandkosten: 0.0 EUR, Lieferzeit: 4 Tage, CH. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce - Marsha Chechik
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Marsha Chechik:
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce - Taschenbuch

2016, ISBN: 9783662496732

ID: 9783662496732

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce Tools-and-Algorithms-for-the-Construction-and-Analysis-of-Systems~~Marsha-Chechik Computers>Windows>Programming Paperback, Springer Berlin Heidelberg

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Procee - Chechik, Marsha (Herausgeber); Raskin, Jean-François (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Chechik, Marsha (Herausgeber); Raskin, Jean-François (Herausgeber):
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Procee - neues Buch

2016, ISBN: 3662496739

ID: A26374281

Kartoniert / Broschiert APP - Application, Application ( APP ), EDV / Theorie / Programmieren / Allgemeines, COMPUTERS / Programming / General, met couverture neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Geen versendingskosten in Duitsland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Tools and Algorithms for the Construction and Analysis of Systems
Autor:

Marsha Chechik; Jean-François Raskin

Titel:

Tools and Algorithms for the Construction and Analysis of Systems

ISBN-Nummer:

9783662496732

Detailangaben zum Buch - Tools and Algorithms for the Construction and Analysis of Systems


EAN (ISBN-13): 9783662496732
ISBN (ISBN-10): 3662496739
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2016
Herausgeber: Springer Berlin

Buch in der Datenbank seit 15.04.2016 10:17:43
Buch zuletzt gefunden am 20.03.2017 08:11:37
ISBN/EAN: 9783662496732

ISBN - alternative Schreibweisen:
3-662-49673-9, 978-3-662-49673-2

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher