Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Lecture Notes in Computer Science) [Paperback]
10 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 |
---|---|---|---|---|
Schnitt | € 65,43 | € 51,45 | € 63,13 | € 59,66 |
Nachfrage |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9783030720124 bzw. 3030720128, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Soft cover.
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9783030720155 bzw. 3030720152, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Soft cover.
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3030720152 bzw. 9783030720155, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Lecture Notes in Computer Science 1217) (1997)
ISBN: 9783540627906 bzw. 3540627901, in Deutsch, Springer, Taschenbuch, gebraucht.
452 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Das Buch befindet sich in einem sauber erhaltenen Zustand. Sprache: en Gewicht in Gramm: 600.
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9783540627906 bzw. 3540627901, in Deutsch, Springer, Berlin, Taschenbuch, neu.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
ISBN: 9783540627906 bzw. 3540627901, in Deutsch, Springer Berlin Heidelberg, Springer Berlin Heidelberg, gebraucht.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop Tacas 97 Enschede The Netherlands April 2 4 1997 Proceedings (1997)
ISBN: 9783540485094 bzw. 3540485090, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, gebraucht.
Book Condition: Good * All orders are processed and shipped from Las Vegas, NV USA *.
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997 (2014)
ISBN: 9783540627906 bzw. 3540627901, in Deutsch, SPRINGER VERLAG GMBH 01/07/2014, Taschenbuch, neu.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997 (2014)
ISBN: 9783540627906 bzw. 3540627901, in Deutsch, SPRINGER VERLAG GMBH 01/08/2014, Taschenbuch, neu.
New Book. This item is printed on demand. Shipped from UK. This item is printed on demand.
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9783540485094 bzw. 3540485090, in Deutsch, Springer Nature, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen