Formal modeling analysis timed (348 résultats)

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Assez bon

EUR 3,67

EUR 6,23 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

EUR 6,23 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science, 2791)

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

3540309462 / 9783540309468

Etat: Occasion - Assez bon

EUR 40,12

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science, 3829)

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 40,12

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 39,88

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponibles

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

EUR 7,75 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. pp. 386 Illus.

Formal Modeling and Analysis of Timed Systems

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 40,59

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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 36,77

EUR 7,75 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

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

EUR 3,34 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

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

Etat: Neuf

EUR 35,96

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. pp. 386.

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

Cassez Franck Jard Claude

Etat: Occasion - Assez bon

EUR 41,24

EUR 6,23 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

Couverture souple

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 37,08

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

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

Etat: Neuf

EUR 49,41

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 8 disponibles

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 : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 50,07

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

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

Etat: Neuf

EUR 48,83

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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 51,82

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

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

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 52,10

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 52,80

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

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

JEAN-FRANCOIS RASKIN, P.S. THIAGARAJAN

Etat: Neuf

EUR 52,28

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

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

Etat: Neuf

EUR 55,02

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

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

Etat: Neuf

EUR 53,54

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

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

Etat: Neuf

EUR 53,61

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

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

Langue : anglais

Edité par Springer, 2004

3540231676 / 9783540231677

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Assez bon

EUR 53,01

EUR 6,23 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

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

Etat: Occasion - Comme neuf

EUR 57,48

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

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

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,56

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

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

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

Etat: Neuf

EUR 60,26

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

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

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Legay, Axel (EDT); Bozga, Marius (EDT)

Etat: Occasion

EUR 57,00

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Used. pp. 388.

Formal Modeling and Analysis of Timed Systems : 12th International Conference, Formats 2014, Florence, Italy, September 8-10, 2014, Proceedings

Langue : anglais

Edité par Springer, 2014

3319105116 / 9783319105116

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles