9783540674016 - temporal logic and state systems di kroger, fred; merz, stefan (19 risultati)
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Recycle Bookstore, San Jose, U.S.A.Recycle Bookstore
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Quasi ottimo
EUR 39,74
EUR 4,99 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Near Fine. Book has a hint of wear to the edges and corners, otherwise in near new condition.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: SMASS Sellers, IRVING, U.S.A.SMASS Sellers
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 45,78
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,50
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Basi6 International, Irving, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,50
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Editore: The Institution of Engineering and Technology. 2004
- Rilegato
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermaniaUniversitätsbuchhandlung Herta Hold GmbH
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 15,00
EUR 30,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
2008th ed. 16 x 23 cm. 484 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,67
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: SP SPRINGER 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Edizione Internazionale
Da: UK BOOKS STORE, London, Regno UnitoUK BOOKS STORE
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 73,27
EUR 4,63 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 19 disponibili
Condizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if t…he Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 86,58
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: California Books, Miami, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 91,98
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,99
EUR 13,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,98
EUR 17,39 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 86,63
EUR 17,39 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: BennettBooksLtd, Los Angeles, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 108,12
EUR 6,03 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
Lingua: Inglese
Editore: Springer-Verlag New York Inc 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 124,80
EUR 14,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 1st edition. 300 pages. 9.25x6.25x1.00 inches. In Stock.
Lingua: Inglese
Editore: Springer Vieweg, Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,24
EUR 64,20 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Temporal logic has developed over the last30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date… presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Mrz 2008 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,24
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Temporal logic has developed over the last30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uni…form, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers. 452 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,33
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory.Thorough, uniform, state-of-the-art descr…iption of theory and application o.
Lingua: Inglese
Editore: Springer Vieweg, Springer Mär 2008 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,24
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, unifor…m, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories.All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.
Altre immaginiLingua: Inglese
Editore: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 di 45. Libro 30 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,00
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Buch. Condizione: Neu. Temporal Logic and State Systems | Fred Kröger (u. a.) | Buch | Texts in Theoretical Computer Science. An EATCS Series | xii | Englisch | 2008 | Springer | EAN 9783540674016 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]…com | Anbieter: preigu Print on Demand.
