Articoli correlati a Temporal Logic And State Systems
Temporal Logic And State Systems - Rilegato
Libro 29 di 44: Texts in Theoretical Computer Science. An EATCS
Sinossi
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, 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull'autore
Fred Kröger: Since 1971 working in Computer Science 1980-1986 Professor for Computer Science at Technical University of Munich Since 1986 Professor for Computer Science at University of Munich 1987 World-wide first textbook on Temporal Logic ("Temporal Logic of Programs", Springer) Stephan Merz: 1992 Ph.D. in Computer Science, University of Munich 1995-2002 Assistant Professor for Computer Science, University of Munich since 2002 Senior Researcher, INRIA Lorraine, Nancy
Dalla quarta di copertina
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, 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Temporal Logic And State Systems
Immagini fornite dal venditore
Foundations of Digital Signal Processing: Theory, algorithms and hardware design (Materials, Circuits and Devices).
Editore:
The Institution of Engineering and Technology., 2004
ISBN 10: 3540674012
ISBN 13: 9783540674016
Antico o usato
Rilegato
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Valutazione del venditore 3 su 5 stelle
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. Codice articolo 6325VB
Compra usato
EUR 15,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Temporal Logic And State Systems (Hb)
Da: 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. Codice articolo ABEOCT25-312182
Compra nuovo
EUR 55,40
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 8 disponibili
Foto dell'editore
TEMPORAL LOGIC AND STATE SYSTEMS (HB 2008)
Da: 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. Codice articolo ABBB-77215
Compra nuovo
EUR 56,13
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Temporal Logic And State Systems
Da: 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. Codice articolo ABEOCT25-242354
Compra nuovo
EUR 62,47
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Temporal Logic And State Systems
Da: 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. Codice articolo ABBB-161310
Compra nuovo
EUR 63,31
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Codice articolo M03540674012-G
Compra usato
EUR 73,67
Spedizione EUR 10,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Codice articolo M03540674012-V
Compra usato
EUR 73,82
Spedizione EUR 10,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Edizione Internazionale
TEMPORAL LOGIC AND STATE SYSTEMS (HB 2008)
Edizione InternazionaleDa: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
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 the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Codice articolo CBS 9783540674016
Compra nuovo
EUR 83,90
Spedizione EUR 7,10
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 19 disponibili
Immagini fornite dal venditore
Temporal Logic And State Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 3203656-n
Compra nuovo
EUR 88,78
Spedizione EUR 2,35
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Temporal Logic And State Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 3203656
Compra usato
EUR 89,10
Spedizione EUR 2,35
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili