Formal modeling analysis timed (345 résultats)

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

Etat: Occasion - Assez bon

EUR 3,55

EUR 6,02 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Sorry, No international shipping on this item.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,57

EUR 6,02 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Sorry, No international shipping on this item.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 : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 31,97

EUR 7,57 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, 2007

Couverture souple

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

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 36,73

EUR 3,44 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, 2008

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 33,34

EUR 7,57 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

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,83

EUR 3,44 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. pp. 314.

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 38,41

EUR 3,23 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

Etat: Neuf

EUR 32,72

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 (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 45,41

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 (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

Cassez Franck Jard Claude

Etat: Neuf

EUR 45,41

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

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

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

Etat: Neuf

EUR 34,22

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: 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 39,83

EUR 6,02 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Sorry, No international shipping on this item.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 : SMASS Sellers, IRVING, TX, Etats-UnisSMASS Sellers

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 47,24

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

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,70

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

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

Etat: Neuf

EUR 48,70

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 : 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,98

EUR 2,27 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 51,66

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,35

EUR 2,27 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,35

EUR 2,27 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,27 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,27 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

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

Etat: Occasion

EUR 53,59

EUR 3,44 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 388.

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

Etat: Occasion - Assez bon

EUR 51,20

EUR 6,02 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

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

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

Etat: Occasion

EUR 49,96

EUR 7,57 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 388 Illus.

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 55,60

EUR 2,27 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 57,95

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 58,20

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 57,96

EUR 2,27 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 57,96

EUR 2,27 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 (Lecture Notes in Computer Science, 12860)

Langue : anglais

Edité par Springer, 2021

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles