Formal modeling analysis timed (349 résultats)

Cassez, Franck [Editor]; Jard, Claude [Editor];

Etat: Occasion - Assez bon

EUR 3,61

EUR 6,13 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

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)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 7,71

EUR 6,13 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 37,70

EUR 3,50 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. pp. 386.

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 33,66

EUR 7,63 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. pp. 386 Illus.

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 37,99

EUR 3,50 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. pp. 314.

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 33,76

EUR 7,63 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : 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: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture Notes in Computer Science, 4202)

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red

Vendeur avec une évaluation de 5 étoiles

Raskin Jean-Francois Thiagarajan P. S.

Etat: Occasion - Satisfaisant

EUR 40,18

EUR 3,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Cassez Franck Jard Claude

Etat: Neuf

EUR 33,57

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. pp. 386.

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 34,14

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. pp. 314.

Formal Modeling And Analysis Of Timed Systems (Pb)

Raskin J.

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Asarin, Eugene [Editor]; Bouyer, Patricia [Editor];

Etat: Neuf

EUR 46,35

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 8 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture . Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 40,57

EUR 6,13 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Formal Modeling And Analysis Of Timed Systems (Pb)

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,37

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

Etat : 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

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,80

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : 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

0

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 49,18

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Formal Modeling And Analysis Of Timed Systems (Pb)

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : SMASS Sellers, IRVING, TX, Etats-UnisSMASS Sellers

Vendeur avec une évaluation de 4 étoiles

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

Etat: Neuf

EUR 50,05

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

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

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

Langue : anglais

Edité par Springer, 2012

3642333648 / 9783642333644

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

JEAN-FRANCOIS RASKIN, P.S. THIAGARAJAN

Etat: Neuf

EUR 48,99

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS: 5TH INTERNATIONAL CONFERENCE, FORMATS 2007, SALZBURG, AUSTRIA, OCTOBER 3-5, 2007, PROCEEDINGS (LECTURE . COMPUTER SCIENCE AND GENERAL ISSUES)

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 52,14

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

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

Langue : anglais

Edité par Springer, 2019

303029661X / 9783030296612

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 52,31

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2018

3030001504 / 9783030001506

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 52,37

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2011

3642243096 / 9783642243097

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 53,70

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

Etat : New.

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

Langue : anglais

Edité par Springer, 2017

331965764X / 9783319657646

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 53,70

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Occasion

EUR 53,73

EUR 3,50 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 388.

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Lakhnech, Yassine [Editor]; Yovine, Sergio [Editor];

Etat: Occasion

EUR 50,56

EUR 7,63 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 388 Illus.

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)

Langue : anglais

Edité par Springer, 2004

3540231676 / 9783540231677

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Assez bon

EUR 52,14

EUR 6,13 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

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

Langue : anglais

Edité par Springer, 2004

3540216715 / 9783540216711

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3540216715 / 9783540216711

Etat: Neuf

EUR 56,37

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Modeling and Analysis of Timed Systems: First International Workshop, Formats 2003, Marseille, France, September 6-7, 2003, Revised Papers (Paperback or Softback)

Larsen, Kim G.

Langue : anglais

Edité par Springer 4/8/2004, 2004

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

3642243096 / 9783642243097

Etat: Neuf

EUR 58,76

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

Paperback or Softback. Etat : New. Formal Modeling and Analysis of Timed Systems: First International Workshop, Formats 2003, Marseille, France, September 6-7, 2003, Revised Papers. Book.

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Paperback or Softback)

Fahrenberg, Uli

Langue : anglais

Edité par Springer 9/12/2011, 2011

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Sankaranarayanan, Sriram (EDT); Vicario, Enrico (EDT)

Etat: Neuf

EUR 59,00

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

Paperback or Softback. Etat : New. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings. Book.

Formal Modeling and Analysis of Timed Systems : 13th International Conference, Formats 2015

Langue : anglais

Edité par Springer, 2015

3319229745 / 9783319229744

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 59,02

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2004

3540231676 / 9783540231677

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3030850366 / 9783030850364

Etat: Neuf

EUR 59,02

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2021

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles