Formal modeling analysis timed (351 résultats)

Couverture souple

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

Vendeur avec une évaluation de 4 étoiles

354085777X / 9783540857778

Etat: Neuf

EUR 37,56

EUR 3,49 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 : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 37,85

EUR 3,49 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, 2007

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

354085777X / 9783540857778

Etat: Neuf

EUR 33,54

EUR 7,65 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 : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Raskin Jean-Francois Thiagarajan P. S.

Etat: Neuf

EUR 33,64

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

Couverture souple

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

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

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

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

354085777X / 9783540857778

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

Etat: Occasion - Satisfaisant

EUR 43,43

EUR 3,28 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 (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 46,92

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

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

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 49,06

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

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

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

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

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

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

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

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

Etat: Occasion

EUR 50,38

EUR 7,65 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 56,16

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

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

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

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

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

3030576272 / 9783030576271

Etat: Neuf

EUR 61,20

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2020

Couverture souple

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

Vendeur avec une évaluation de 4 étoiles

3030001504 / 9783030001506

Etat: Neuf

EUR 61,20

Frais de port gratuits

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 (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2018

Couverture souple

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

Vendeur avec une évaluation de 4 étoiles

3540231676 / 9783540231677

Etat: Neuf

EUR 61,20

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 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, 3253)

Langue : anglais

Edité par Springer, 2004

Couverture souple

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

Vendeur avec une évaluation de 4 étoiles

3540216715 / 9783540216711

Etat: Neuf

EUR 61,20

Frais de port gratuits

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 (Lecture Notes in Computer Science, 2791)

Langue : anglais

Edité par Springer, 2004

Couverture souple

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

Vendeur avec une évaluation de 4 étoiles