- 5 Ergebnisse
Kleinster Preis: € 37,99, größter Preis: € 57,66, Mittelwert: € 49,19
1
Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - Vicario, Enrico (Herausgeber); Sankaranarayanan, Sriram (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Vicario, Enrico (Herausgeber); Sankaranarayanan, Sriram (Herausgeber):

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - neues Buch

2015, ISBN: 3319229745

1st ed. 2015 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Informationstechnologie, IT, Technologie / Informationstechnologie, Mathematik / … Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
2
Formal Modeling and Analysis of Timed Systems - Herausgegeben:Sankaranarayanan, Sriram; Vicario, Enrico
Bestellen
bei booklooker.de
€ 37,99
Bestellen
Details und Versand
gesponserter Link

Herausgegeben:Sankaranarayanan, Sriram; Vicario, Enrico:

Formal Modeling and Analysis of Timed Systems - Taschenbuch

2015, ISBN: 9783319229744

[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the refereed proceedings of the 13th International Conference on Formal Model… Mehr…

Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten buecher.de GmbH & Co. KG
zuklappen (X)
3
Formal Modeling and Analysis of Timed Systems - Sankaranarayanan, Sriram|Vicario, Enrico
Bestellen
bei AbeBooks.de
€ 48,37
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Sankaranarayanan, Sriram|Vicario, Enrico:
Formal Modeling and Analysis of Timed Systems - Taschenbuch

2015

ISBN: 3319229745

[EAN: 9783319229744], Neubuch, [PU: Springer International Publishing], INFORMATIONSTECHNOLOGIE IT TECHNOLOGIE EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING MATHEMATIK INFORMATIK, COMPU… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
zuklappen (X)
4
Formal Modeling and Analysis of Timed Systems - Sankaranarayanan, Sriram Vicario, Enrico
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Sankaranarayanan, Sriram Vicario, Enrico:
Formal Modeling and Analysis of Timed Systems - Erstausgabe

2015, ISBN: 9783319229744

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer International Publishing], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitu… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
5
Formal Modeling and Analysis of Timed Systems - Sriram Sankaranarayanan; Enrico Vicario
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Sriram Sankaranarayanan; Enrico Vicario:
Formal Modeling and Analysis of Timed Systems - Erstausgabe

2015, ISBN: 9783319229744

Taschenbuch

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, Buch, Softcover, 1st ed. 2015, [PU: Springer International Publishing], Springer Internationa… Mehr…

Versandkosten:Versand in 10-14 Tagen. (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
Formal Modeling and Analysis of Timed Systems
Autor:
Titel:
ISBN-Nummer:

9783319229744

Detailangaben zum Buch - Formal Modeling and Analysis of Timed Systems


EAN (ISBN-13): 9783319229744
ISBN (ISBN-10): 3319229745
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2015-09-13T18:04:15+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-17T14:05:26+02:00 (Berlin)
ISBN/EAN: 9783319229744

ISBN - alternative Schreibweisen:
3-319-22974-5, 978-3-319-22974-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sankaran, sankara, sriram
Titel des Buches: analysis, time form form time, spain madrid

Daten vom Verlag:

Autor/in: Sriram Sankaranarayanan; Enrico Vicario
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Verlag: Springer; Springer International Publishing
321 Seiten
Erscheinungsjahr: 2015-08-12
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Gewicht: 5,037 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 321 p. 90 illus.

BC; Computation by Abstract Devices; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automata; Cyber-physical Systems; Formal Methods; Real-time Systems; Verification; Analysis; Automata Theory; Automatic Verification; Constraint Solving; Hybrid Systems; Model Checking; Modeling; Petri Nets; Quantitative Analysis; Reversible Computations; Stability; Temporal Logic; Theory of Computation; Timed Automata; Timed Systems; Logics and Meanings of Programs; Software Engineering; Computer Applications; Mathematical Logic and Formal Languages; Theory of Computation; Computer Science Logic and Foundations of Programming; Software Engineering; Computer and Information Systems Applications; Formal Languages and Automata Theory; Software Engineering; Angewandte Informatik; EA

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.


< zum Archiv...