Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 20,29
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 386.
EUR 18,69
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 386 Illus.
EUR 21,47
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 386.
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
EUR 32,30
Autre deviseQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : 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.
EUR 33,73
Autre deviseQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Vendeur : Basi6 International, Irving, TX, Etats-Unis
EUR 32,30
Autre deviseQuantité disponible : 20 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Vendeur : ALLBOOKS1, Direk, SA, Australie
EUR 36,46
Autre deviseQuantité disponible : 20 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Vendeur : Basi6 International, Irving, TX, Etats-Unis
EUR 48,61
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Vendeur : ALLBOOKS1, Direk, SA, Australie
EUR 54,17
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 60,02
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Springer Berlin Heidelberg, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 56,46
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 53,48
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 69,23
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Constitutes the proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007, held in Salzburg, Austria, in October 2007. This book covers work on foundations and semantics of timed systems including timed automata, timed Petri nets, hybrid automata, timed process algebra and max-plus algebra. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 587. . 2007. 2007th Edition. paperback. . . . .
Vendeur : Best Price, Torrance, CA, Etats-Unis
EUR 48,31
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 61,03
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Langue: anglais
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 85,60
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Constitutes the proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007, held in Salzburg, Austria, in October 2007. This book covers work on foundations and semantics of timed systems including timed automata, timed Petri nets, hybrid automata, timed process algebra and max-plus algebra. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 587. . 2007. 2007th Edition. paperback. . . . . Books ship from the US and Ireland.
Edité par Springer-Verlag New York Inc, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 78,87
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 1st edition. 369 pages. 9.20x6.10x0.90 inches. In Stock.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 52,31
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
EUR 61,48
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 35) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September 30 - October 5, 2007. Detailed information about FORMATS 2007 can be found at / di/formats07, while provides an overview of the - bedded Systems Week Event. We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support. This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Langue: anglais
Vendeur : AussieBookSeller, Truganina, VIC, Australie
EUR 110,89
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 35) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September 30 - October 5, 2007. Detailed information about FORMATS 2007 can be found at / di/formats07, while provides an overview of the - bedded Systems Week Event. We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support. This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Edité par Springer Berlin Heidelberg, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 48,37
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems examines techniques, algorithms, data structu.
Edité par Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication. 384 pp. Englisch.