Formal Modeling Analysis Timed (362 results)

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

Condition: Used - Very good

£ 3.06

£ 5.19 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: 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)

Language: English

Published by Springer, 2008

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Condition: Used - Very good

£ 6.53

£ 5.19 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: 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

Language: English

Published by Springer, 2007

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: New

£ 27.89

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 4 available

Condition: New. pp. 386 Illus.

Formal Modeling and Analysis of Timed Systems

Language: English

Published by Springer, 2007

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

Condition: New

£ 31.66

£ 2.96 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. pp. 386.

Formal Modeling and Analysis of Timed Systems

Language: English

Published by Springer, 2008

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

Condition: New

£ 32.82

£ 2.96 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: New. pp. 314.

Formal Modeling and Analysis of Timed Systems

Language: English

Published by Springer, 2008

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: New

£ 29.30

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2006

Softcover

Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red

5-star seller

Raskin Jean-Francois Thiagarajan P. S.

Condition: Used - Good

£ 34.43

£ 2.78 shipping

Ships within U.S.A.

Quantity: 1 available

paperback. Condition: 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

Language: English

Published by Springer, 2007

Softcover

Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

4-star seller

Condition: New

£ 29.34

£ 8.54 shipping

Ships from Germany to U.S.A.

Quantity: 4 available

Condition: New. pp. 386.

Formal Modeling And Analysis Of Timed Systems (Pb)

Language: English

Published by Springer, 2007

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

Condition: New

£ 38.52

Free Shipping

Ships within U.S.A.

Quantity: 5 available

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

Language: English

Published by Springer, 2007

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

Cassez Franck Jard Claude

Condition: New

£ 38.52

Free Shipping

Ships within U.S.A.

Quantity: 8 available

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

Language: English

Published by Springer, 2008

Softcover

Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

4-star seller

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

Condition: New

£ 30.92

£ 8.54 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2006

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Condition: Used - Very good

£ 34.35

£ 5.19 shipping

Ships within U.S.A.

Quantity: 1 available

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

Formal Modeling And Analysis Of Timed Systems (Pb)

Language: English

Published by Springer, 2007

Softcover

Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers

4-star seller

Condition: New

£ 39.87

Free Shipping

Ships within U.S.A.

Quantity: 5 available

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

Formal Modeling And Analysis Of Timed Systems

Language: English

Published by Springer, 2006

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

Condition: New

£ 41.53

Free Shipping

Ships within U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2006

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

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

Condition: New

£ 41.53

Free Shipping

Ships within U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2012

3642333648 / 9783642333644

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

JEAN-FRANCOIS RASKIN, P.S. THIAGARAJAN

Condition: New

£ 41.96

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

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

Language: English

Published by Springer, 2007

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

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

Condition: New

£ 44.06

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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 : 16th International Conference, Formats 2018, Beijing, China, September 4?6, 2018, Proceedings

Language: English

Published by Springer, 2018

3030001504 / 9783030001506

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 44.86

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2019

303029661X / 9783030296612

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 44.91

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2017

331965764X / 9783319657646

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 45.85

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2011

3642243096 / 9783642243097

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 46.06

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

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

Language: English

Published by Springer, 2004

3540231676 / 9783540231677

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Condition: Used - Very good

£ 44.14

£ 5.19 shipping

Ships within U.S.A.

Quantity: 1 available

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

Formal Modeling and Analysis of Timed Systems

Language: English

Published by Springer, 2006

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

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

Condition: Used

£ 46.51

£ 2.96 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Used. pp. 388.

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

Language: English

Published by Springer, 2004

3540216715 / 9783540216711

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

3540216715 / 9783540216711

Condition: New

£ 47.94

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

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

Language: English

Published by Springer 4/8/2004, 2004

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

3642243096 / 9783642243097

Condition: New

£ 49.97

Free Shipping

Ships within U.S.A.

Quantity: 5 available

Paperback or Softback. Condition: 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

Language: English

Published by Springer 9/12/2011, 2011

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

Condition: New

£ 50.18

Free Shipping

Ships within U.S.A.

Quantity: 5 available

Paperback or Softback. Condition: 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

Language: English

Published by Springer, 2006

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

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

Condition: Used

£ 43.91

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: Used. pp. 388 Illus.

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

Language: English

Published by Springer, 2014

3319105116 / 9783319105116

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 48.95

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2015

3319229745 / 9783319229744

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 49.97

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

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

Language: English

Published by Springer, 2004

3540231676 / 9783540231677

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller