«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Temporal Logic and State Systems

Idioma InglésInglés
Libro Tapa blanda
Libro Temporal Logic and State Systems Fred Kröger
Código Libristo: 01653648
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noviembre 2010
Temporal logic has developed over the last 30 years into a powerful formal setting for the specifica... Descripción completa
? points 207 b
84.69 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Elektromotoren Fur Gleichstrom Gustav Roessler / Libro Tapa blanda
common.buy 73.99 €
Wieso? Weshalb? Warum? junior, Band 28: Wenn es dunkel wird Constanza Droop / Libro Libro de concertinas
common.buy 11.39 €
Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke / Libro Tapa blanda
common.buy 143.69 €
ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby / Libro Tapa blanda
common.buy 20.09 €
Le Khedive Et Le Sultan, Etude Sur La Question Turco-Egyptienne Guillaumot-H / Libro Tapa blanda
common.buy 13.89 €
Grundlagen Der Steuerungstechnik Cihat Karaali / Libro Tapa blanda
common.buy 41.59 €
Stowasser - Neubearbeitung Barbara Dowlasz / Libro Tapa dura
common.buy 30.69 €
La Callejuela del Oro Carlos González Rivera / Libro Tapa dura
common.buy 9.59 €
Tabellenhandbuch zur Ermittlung des Verkehrswerts und des Beleihungswerts von Grundstücken Wolfgang Kleiber / Libro Tapa dura
common.buy 77.69 €
Der Formalismus in Kant's Rechtsphilosophie (1902) Hermann Bargmann / Libro Tapa dura
common.buy 34.79 €
Med Tilhörende Glossarium... Carl Rikard Unger / Libro Tapa blanda
common.buy 21.99 €
Sakana Michael Mario Frese / Libro Tapa blanda
common.buy 34.59 €
Vom Notendrucker zum Rechtemakler Urs Pfeiffer / Libro Tapa blanda
common.buy 29.29 €
Ferîdûn Bey Nicolas Vatin / Libro Tapa blanda
common.buy 74.39 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Temporal Logic and State Systems
Autor Fred Kröger, Stephan Merz
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 436
EAN 9783642086809
ISBN 3642086802
Código Libristo 01653648
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 682
Dimensiones 155 x 235 x 25

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

One True Logic Griffiths / Libro Tapa blanda
common.buy 40.79 €
Psychology Express: Social Psychology Leanne Freeman / Libro Tapa blanda
common.buy 30.79 €
Robert Frost Review Virginia Smith / Libro Tapa blanda
common.buy 16.49 €
introduction to Roman-Dutch law Robert Warden Lee / Libro Tapa blanda
common.buy 31.09 €
Romans: Salvation for those who believe Schalk Bornman / Libro Tapa blanda
common.buy 8.59 €
Mythic Astrology Kenneth Johnson / Libro Tapa blanda
common.buy 30.79 €
The Factory Mark West / Libro Tapa blanda
common.buy 12.79 €
Actors of Postnational Rule-Making Elaine Fahey / Libro Tapa blanda
common.buy 55.19 €
Making Good Habits, Breaking Bad Habits: 14 New Behaviors That Will Energize Your Life Joyce Meyer / Libro Tapa dura
common.buy 29.69 €
With Gifted Thinkers Mark Manolopoulos / Libro Tapa blanda
common.buy 105.49 €
Knowing God Intimately (Revised) Joyce Meyer / Libro Tapa blanda
common.buy 17.39 €
Porky Deloris Kay Ward / Libro Tapa dura
common.buy 21.29 €
Immigrants, Progressives, and Exclusion Politics Robert F. Zeidel / Libro Tapa dura
common.buy 70.19 €
Biochemistry of Vitamin B6 and PQQ F. Bossa / Libro Tapa blanda
common.buy 56.59 €
Anxiolytics Mike Briley / Libro Tapa dura
common.buy 118.19 €
Basic Human Rights and the Humanitarian Crises in Sub-Saharan Africa Gabriel Andrew Msoka / Libro Tapa blanda
common.buy 29.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?