Importo totale (1 articolo articoli):
Destinazione ordine:
temporal logic state systems (33 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (33)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (29)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (11)
- Non Print on Demand (23)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
TEMPORAL LOGIC AND STATE SYSTEMS (HB 2008)
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Temporal Logic And State Systems (Hb)
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) 2008th Edition
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Recycle Bookstore, San Jose, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Near Fine. Book has a hint of wear to the edges and corners, otherwise in near new condition.
-
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Temporal Logic And State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Edizione InternazionaleTEMPORAL LOGIC AND STATE SYSTEMS (HB 2008)
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 54,34
Spedizione EUR 6,93
Spedito da Regno Unito a U.S.A.Quantità: 19 disponibili
Aggiungi al carrelloCondizione: New. Brand New ! Fast Delivery "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 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Paperback. Condizione: Very Good. Minor shelf wear to the covers, otherwise clean and tight and appears to be unread. Pasadena's finest new and used bookstore since 1992.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 71,55
Spedizione EUR 13,87
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Temporal Logic And State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 86,42
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Temporal Logic And State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 88,94
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 91,29
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,88
Spedizione EUR 13,87
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Temporal Logic And State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,87
Spedizione EUR 17,36
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Temporal Logic And State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 86,51
Spedizione EUR 17,36
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Temporal Logic and State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 448.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Temporal Logic and State Systems
Lingua: Inglese
Editore: Springer, 2008
Da: Books in my Basket, New Delhi, India
Valutazione del venditore 5 su 5 stelle
EUR 101,83
Spedizione EUR 16,00
Spedito da India a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: New. ISBN:9783540674016.
-
Temporal Logic And State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer-Verlag New York Inc, 2008
ISBN 10: 3540674012 ISBN 13: 9783540674016
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 124,27
Spedizione EUR 14,47
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 1st edition. 300 pages. 9.25x6.25x1.00 inches. In Stock.
-
Temporal Logic and State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg, 2008
ISBN 10: 3642086802 ISBN 13: 9783642086809
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 127,95
Spedizione EUR 14,47
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 436 pages. 9.00x6.00x1.01 inches. In Stock.
-
EUR 72,75
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Temporal Logic and State Systems | Fred Kröger (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xii | Englisch | 2010 | Springer | EAN 9783642086809 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Temporal Logic and State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642086802 ISBN 13: 9783642086809
EUR 80,24
Spedizione EUR 63,37
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. 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.
-
EUR 80,24
Spedizione EUR 64,20
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. 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.
-
Temporal Logic and State Systems (eng)
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 66,23
Spedizione EUR 8,00
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Temporal Logic and State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10: 3642086802 ISBN 13: 9783642086809
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 80,24
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. 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, 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. 448 pp. Englisch.
-
Temporal Logic and State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg Mrz 2008, 2008
ISBN 10: 3540674012 ISBN 13: 9783540674016
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 80,24
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. 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, 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. 452 pp. Englisch.
-
Temporal Logic and State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 115,03
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 448 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Temporal Logic and State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg, 2008
ISBN 10: 3540674012 ISBN 13: 9783540674016
EUR 70,33
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. 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 description of theory and application o.
-
Temporal Logic and State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642086802 ISBN 13: 9783642086809
EUR 70,33
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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 description of theory and application o.
-
Temporal Logic and State Systems
Libro 30 di 45: Texts in Theoretical Computer Science. An EATCSDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 115,81
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 448.
