Formal modeling analysis timed (121 Ergebnisse)

Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

354085777X / 9783540857778

Zustand: Neu

EUR 35,35

EUR 7,80 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 4 verfügbar

Zustand: New. pp. 386 Illus.

Formal Modeling and Analysis of Timed Systems

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Raskin Jean-Francois Thiagarajan P. S.

Zustand: Neu

EUR 36,37

EUR 7,80 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Zustand: New. pp. 314 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Formal Modeling and Analysis of Timed Systems

Sprache: Englisch

Verlag: Springer, 2007

Softcover

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Cassez Franck Jard Claude

Zustand: Neu

EUR 35,89

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 4 verfügbar

Zustand: New. pp. 386.

Formal Modeling and Analysis of Timed Systems

Sprache: Englisch

Verlag: Springer, 2008

354085777X / 9783540857778

Softcover

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 37,01

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Zustand: New. pp. 314.

Formal Modeling And Analysis Of Timed Systems (Pb)

Sprache: Englisch

Verlag: Springer, 2007

Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 50,00

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Formal Modeling And Analysis Of Timed Systems (Pb)

Sprache: Englisch

Verlag: Springer, 2007

Softcover

Anbieter: SMASS Sellers, IRVING, TX, USASMASS Sellers

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 51,74

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Formal Modeling And Analysis Of Timed Systems

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 52,72

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Formal Modeling and Analysis of Timed Systems

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

3030850366 / 9783030850364

Zustand: Gebraucht

EUR 54,19

EUR 7,80 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. 388 Illus.

Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings (Lecture Notes in Computer Science, 12860)

Sprache: Englisch

Verlag: Springer, 2021

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3030576272 / 9783030576271

Zustand: Neu

EUR 62,34

EUR 2,67 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings (Lecture Notes in Computer Science, 12288)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3030001504 / 9783030001506

Zustand: Neu

EUR 62,34

EUR 2,67 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings (Lecture Notes in Computer Science, 11022)

Sprache: Englisch

Verlag: Springer, 2018

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3540231676 / 9783540231677

Zustand: Neu

EUR 62,34

EUR 2,67 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... (Lecture Notes in Computer Science, 3253)

Sprache: Englisch

Verlag: Springer, 2004

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3540216715 / 9783540216711

Zustand: Neu

EUR 62,34

EUR 2,67 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science, 2791)

Sprache: Englisch

Verlag: Springer, 2004

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3319229745 / 9783319229744

Zustand: Neu

EUR 62,34

EUR 2,67 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Lecture Notes in Computer Science, 9268)

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3642243096 / 9783642243097

Zustand: Neu

EUR 62,34

EUR 2,67 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Lecture Notes in Computer Science, 6919)

Sprache: Englisch

Verlag: Springer, 2011

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Bouyer Patricia Asarin Eugene

Zustand: Neu

EUR 62,34

EUR 2,67 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

3642243096 / 9783642243097

Zustand: Gebraucht

EUR 55,20

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. 388.

Formal Modeling and Analysis of Timed Systems

Uli Fahrenberg

Sprache: Englisch

Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011

Softcover

Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA

Verkäufer/-in mit 5 Sternen

3031158385 / 9783031158384

Zustand: Neu

EUR 68,90

Versand gratis

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Paperback. Zustand: New. 2011th. This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.…

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings (Lecture Notes in Computer Science, 13465)

Sprache: Englisch

Verlag: Springer, 2022

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Jurdzinski, Marcin (EDT); Nickovic, Dejan (EDT)

Zustand: Neu

EUR 67,84

EUR 2,67 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems : 10th International Conference, Formats 2012, London, Uk, September 18-20, 2012, Proceedings

Sprache: Englisch

Verlag: Springer, 2012

3642333648 / 9783642333644

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

3031426258 / 9783031426254

Zustand: Neu

EUR 55,52

EUR 17,99 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science, 14138)

Sprache: Englisch

Verlag: Springer, 2023

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3030850366 / 9783030850364

Zustand: Neu

EUR 72,43

EUR 2,67 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling And Analysis Of Timed Sy

Dima, Catalin

Sprache: Englisch

Verlag: Springer, 2021

Softcover

Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.

Verkäufer/-in mit 5 Sternen

Larsen, Kim G. (EDT); Niebert, Peter (EDT)

Zustand: Neu

EUR 67,64

EUR 9,50 Versand

Versand von Irland nach USA

Anzahl: 15 verfügbar

Zustand: New.

Formal Modeling And Analysis Of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Sprache: Englisch

Verlag: Springer, 2004

3540216715 / 9783540216711

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Jansen, David N. (EDT); Prabhakar, Pavithra (EDT)

Zustand: Neu

EUR 62,02

EUR 17,99 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems : 16th International Conference, Formats 2018, Beijing, China, September 4?6, 2018, Proceedings

Sprache: Englisch

Verlag: Springer, 2018

3030001504 / 9783030001506

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Lakhnech, Yassine (EDT); Yovine, Sergio (EDT)

Zustand: Neu

EUR 62,08

EUR 17,99 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Techniques, Modeling And Analysis Of Timed And Fault-Tolerant Systems : Joint International Conferences On Fromal Modeling And Analysis Of Timed Systems, FORMATS 2004 And Formal Techniques In Real Time And Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

Sprache: Englisch

Verlag: Springer, 2004

3540231676 / 9783540231677

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Andre , E tienne (EDT); Stoelinga, Mariëlle (EDT)

Zustand: Neu

EUR 62,13

EUR 17,99 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems : 17th International Conference, Formats 2019, Amsterdam, the Netherlands, August 27?29, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2019

303029661X / 9783030296612

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Fahrenberg, Uli (EDT); Tripakis, Stavros (EDT)

Zustand: Neu

EUR 62,14

EUR 17,99 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems : 9th International Conference, Formats 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings

Sprache: Englisch

Verlag: Springer, 2011

3642243096 / 9783642243097

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Fränzle, Martin (EDT); Markey, Nicolas (EDT)

Zustand: Neu

EUR 62,13

EUR 17,99 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems : 14th International Conference, Formats 2016, Quebec, Qc, Canada, August 24-26, 2016, Proceedings

Sprache: Englisch

Verlag: Springer, 2016

3319448773 / 9783319448770

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

3030001504 / 9783030001506

Zustand: Neu

EUR 61,99

EUR 17,99 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling And Analysis Of Timed Sy

Jansen, David N.

Sprache: Englisch

Verlag: Springer, 2018

Softcover

Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.

Verkäufer/-in mit 5 Sternen

Abate, Alessandro (EDT); Geeraerts, Gilles (EDT)

Zustand: Neu

EUR 68,76

EUR 9,50 Versand

Versand von Irland nach USA

Anzahl: 15 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems : 15th International Conference, Proceedings

Sprache: Englisch

Verlag: Springer, 2017

331965764X / 9783319657646

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Asarin, Eugene (EDT); Bouyer, Patricia (EDT)

Zustand: Neu

EUR 62,13

EUR 17,99 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Modeling and Analysis of Timed Systems : 4th International Conference, Formats 2006, Paris, France, September 25-27, 2006: Proceedings

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen