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 - neues Buch
2016, ISBN: 9783662496749
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, Th… Mehr…
| hive.co.uk No. 9783662496749. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2016, ISBN: 9783662496749
Tools and Algorithms for the Construction and Analysis of Systems ab 96.49 € als pdf eBook: 22nd International Conference TACAS 2016 Held as Part of the European Joint Conferences on Theo… Mehr…
| Hugendubel.de Nr. 26079565. Versandkosten:, , plus verzendkosten. (EUR 7.50) Details... |
2016, ISBN: 9783662496749
*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 Sof… Mehr…
| Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2016, ISBN: 9783662496749
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 Softw… Mehr…
| eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2016, ISBN: 9783662496749
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 Softw… Mehr…
| eBook.de Nr. 26079565. Versandkosten:, , plus verzendkosten., zzgl. Versandkosten Details... |
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 - neues Buch
2016, ISBN: 9783662496749
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, Th… Mehr…
2016, ISBN: 9783662496749
Tools and Algorithms for the Construction and Analysis of Systems ab 96.49 € als pdf eBook: 22nd International Conference TACAS 2016 Held as Part of the European Joint Conferences on Theo… Mehr…
2016
ISBN: 9783662496749
*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 Sof… Mehr…
2016, ISBN: 9783662496749
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 Softw… Mehr…
2016, ISBN: 9783662496749
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 Softw… Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Tools and Algorithms for the Construction and Analysis of Systems
EAN (ISBN-13): 9783662496749
Erscheinungsjahr: 2016
Herausgeber: Springer-Verlag GmbH
Buch in der Datenbank seit 2016-05-03T21:19:35+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-07T17:02:06+02:00 (Berlin)
ISBN/EAN: 9783662496749
ISBN - alternative Schreibweisen:
978-3-662-49674-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: jean francois
Titel des Buches: algorithms, theory construction
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781013271212 Tools and Algorithms for the Construction and Analysis of Systems (Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke)
- 9781013271212 Tools and Algorithms for the Construction and Analysis of Systems (Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke)
- 9781013271229 Tools and Algorithms for the Construction and Analysis of Systems (Zhang, Lijun; Vojnar, Tomás)
- 9781013271236 Tools and Algorithms for the Construction and Analysis of Systems (Zhang, Lijun; Vojnar, Tomás)
- 9781013277184 Tools and Algorithms for the Construction and Analysis of Systems (Armin Biere)
- 9781013277191 Tools and Algorithms for the Construction and Analysis of Systems (Armin Biere)
- 9781013277207 Tools and Algorithms for the Construction and Analysis of Systems Armin Biere Author (Armin Biere)
- 9781013277214 Tools and Algorithms for the Construction and Analysis of Systems (Biere, Armin, Parker, David)
- Tools And Algorithms For The Construction And Analysis Of Systems (Kowalewski, S., Philippou, A.)
< zum Archiv...