- 5 Ergebnisse
Kleinster Preis: € 17,19, größter Preis: € 45,34, Mittelwert: € 30,80
1
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: 5215 (Lecture Notes in Computer Science, 5215)
Bestellen
bei amazon.co.uk
£ 24,48
(ca. € 28,53)
Versand: € 5,591
Bestellen
Details beim Anbieter
gesponserter Link

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: 5215 (Lecture Notes in Computer Science, 5215) - Taschenbuch

2008, ISBN: 9783540857778

Editor: Cassez, Franck, Editor: Jard, Claude, Springer, Paperback, Auflage: 2008, 305 Seiten, Publiziert: 2008-09-05T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 25048509, 0.44 kg, Spe… Mehr…

Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59) PAMS Ent
zuklappen (X)
2
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215)
Bestellen
bei amazon.de
€ 28,81
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215) - Taschenbuch

2008, ISBN: 9783540857778

Springer, Taschenbuch, Auflage: 2008, 312 Seiten, Publiziert: 2008-10-21T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 25048509, 0.98 kg, Informatik, IT-Ausbildung & -Berufe, Computer &… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) PAMS Ent
zuklappen (X)
3
Bestellen
bei ZVAB.com
€ 34,12
Versand: € 5,901
Bestellen
Details beim Anbieter
gesponserter Link
Cassez, Franck und Claude Jard:
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - Taschenbuch

2008

ISBN: 354085777X

[EAN: 9783540857778], D'occasion, bon état, [SC: 5.9], [PU: Springer Berlin], LOGICAL CONSTRAINTS,DISTRIBUTED SYSTEMS,FORMAL VERIFICATION,MODELING,ITERATIVE SYSTEM TUNING,MODEL CHECKING,F… Mehr…

NOT NEW BOOK. Versandkosten: EUR 5.90 Buchpark, Trebbin, Germany [83435977] [Note: 5 (sur 5)]
zuklappen (X)
4
Bestellen
bei Biblio.co.uk
$ 18,93
(ca. € 17,19)
Versand: € 18,401
Bestellen
Details beim Anbieter
gesponserter Link
Cassez, Franck [Editor]; Jard, Claude [Editor];:
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings ... Computer Science and General Issues) - Taschenbuch

2008, ISBN: 9783540857778

Springer, 2008-09-05. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding., Springer,… Mehr…

Versandkosten: EUR 18.40 GuthrieBooks
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 49,00
(ca. € 45,34)
Versand: € 14,611
Bestellen
Details beim Anbieter
gesponserter Link
Cassez, Franck and Jard, Claude:
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215) - Taschenbuch

2008, ISBN: 9783540857778

Paperback. Very Good., 3

Versandkosten: EUR 14.61 Happy Days
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: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215)
Autor:
Titel:
ISBN-Nummer:

354085777X


This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

Detailangaben zum Buch - Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215)


EAN (ISBN-13): 9783540857778
ISBN (ISBN-10): 354085777X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Cassez, Franck, Springer
294 Seiten
Gewicht: 0,475 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-12-15T05:25:07+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-30T21:07:12+02:00 (Berlin)
ISBN/EAN: 354085777X

ISBN - alternative Schreibweisen:
3-540-85777-X, 978-3-540-85777-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: franck, claude franc
Titel des Buches: formal modeling analysis timed systems, system, saint malo, france, time form form time, general analysis, september 2008

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783642738340 Methods in Protein Sequence Analysis (Brigitte Wittmann-Liebold)

< zum Archiv...