9783540674016 - temporal logic and state systems (texts in theoretical computer science. an eatcs series) de kröger, fred; merz, stephan (19 resultados)

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Recycle Bookstore, San Jose, CA, Estados Unidos de AmericaRecycle Bookstore
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Muy bueno
EUR 39,60
Envío por EUR 4,97Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Near Fine. Book has a hint of wear to the edges and corners, otherwise in near new condition.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de AmericaSMASS Sellers
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 45,62
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,28
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,28
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Editorial: The Institution of Engineering and Technology. 2004
- Tapa dura
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , AlemaniaUniversitätsbuchhandlung Herta Hold GmbH
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 15,00
Envío por EUR 30,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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.

Idioma: Inglés
Editorial: SP SPRINGER 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Edición internacional
Librería: UK BOOKS STORE, London, LONDO, Reino UnidoUK BOOKS STORE
Contactar con el vendedorVendedor de 5 estrellasEdición internacionalCondición: Nuevo
EUR 73,01
Envío por EUR 4,62Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 19 disponibles
Condición: 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 th…e Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 75,41
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 86,28
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 91,65
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,97
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,76
Envío por EUR 17,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 86,62
Envío por EUR 17,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 107,74
Envío por EUR 6,00Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: New. In shrink wrap. Looks like an interesting title.

Idioma: Inglés
Editorial: Springer-Verlag New York Inc 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 125,43
Envío por EUR 14,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 1st edition. 300 pages. 9.25x6.25x1.00 inches. In Stock.

Idioma: Inglés
Editorial: Springer Vieweg, Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,24
Envío por EUR 64,20Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: 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.

Idioma: Inglés
Editorial: Springer Berlin Heidelberg Mrz 2008 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,24
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: 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, unif…orm, 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.

Idioma: Inglés
Editorial: Springer Berlin Heidelberg 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 70,33
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: 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 descri…ption of theory and application o.

Idioma: Inglés
Editorial: Springer Vieweg, Springer Mär 2008 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,24
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: 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, 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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.
Más imágenesIdioma: Inglés
Editorial: Springer 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 30 de 45. Libro 30 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,00
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. Condición: 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]c…om | Anbieter: preigu Print on Demand.