«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 dura
Libro Temporal Logic and State Systems Fred Kröger
Código Libristo: 01567359
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2008
Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Descripción completa
? points 207 b
84.69 €
Almacenamiento externo Envío en 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Le rêve du collectionneur Pierre FURLAN Libro Tapa blanda
common.buy 29.79 €
The Cruel Agreement - Versprochen an den Teufel / Libro Tapa blanda
common.buy 21.89 €
PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Artículos impresos Partituras
common.buy 46.89 €
Mariage de Mlle Marguerite Dauve Avec M. Lucien Guy, 18 Novembre 1890 Romain Sourrieu / Libro Tapa blanda
common.buy 13.19 €
Škola kreslení roztomilých příšerek Naomi Lord / Libro Tapa blanda
common.buy 15.29 €
La Pandilla 2 Metodická příručka Elena González Hortelano / Libro Tapa blanda
common.buy 25.69 €
Silberhaar (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 21.69 €
Económico
Juste une question de Temps Sarah Barzyk / Libro Tapa blanda
common.buy 9.59 €
Civil Law Status Of Trade Marks Zafar Babakulov / Libro Tapa blanda
common.buy 70.79 €
Sur le sentier du SISU - Pour développer l'énergie du gagnant en Soi - Livre + CD Saint-Laurent / Libro binding.
common.buy 30.99 €
Le journal de bord d'une hôtesse de l'air Nadame / Libro Tapa blanda
common.buy 11.39 €
Die Volkserhebung Der Jahre 1848 Und 1849 In Deutschland (1900) Otto Hartmann / Libro Tapa blanda
common.buy 30.79 €
Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad / Libro Tapa blanda
common.buy 10.69 €
Digitale Öffentlichkeit(en) Oliver Hahn / Libro Tapa blanda
common.buy 33.59 €
Actitud ANNE LACATON / Libro Tapa blanda
common.buy 14.89 €
Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb / Libro Tapa blanda
common.buy 16.89 €
Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck / Libro Tapa blanda
common.buy 16.89 €
Servicio Gallego de Salud. Temario común Miguel Ángel Estévez Fernández / Libro Tapa blanda
common.buy 63.39 €
Chambre Des Deputes. Aux Chambres. Ne Precipitons Rien Ou Un Mot Sans Auteur / Libro Tapa blanda
common.buy 13.19 €
Der Schatz auf Pagensand Uwe Timm / Libro Tapa blanda
common.buy 10.09 €
Geheimcode B 13, 2 DVDs Armin Müller / Video DVD
common.buy 19.39 €
Das Alte Reich. Volker Press / Libro Tapa blanda
common.buy 123.19 €

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and verification of state based systems. This book, based on manifold university lectures given by the authors, gives a comprehensive description of this field. It presents concisely and uniformly the up to date material of the theory and applications of linear and branching time Temporal Logic, Temporal Logic of Actions, automata theoretical connections, model checking and others. All theoretical details as well as the numerous application examples are elaborated carefully and with all formal rigor, so intended to serve as a basic source and reference for active lectures 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, Stefan Merz
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2008
Número de páginas 436
EAN 9783540674016
ISBN 3540674012
Código Libristo 01567359
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 840
Dimensiones 155 x 235 x 30

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

Temporal Logic: Volume 1 Dov M. Gabbay / Libro Tapa dura
common.buy 541.59 €
Koala Adults Coloring Book: Stress-relief Coloring Book For Grown-ups Balloon Publishing / Libro Tapa blanda
common.buy 8.99 €
Complete Shorter Fiction Herman Melville / Libro Tapa dura
common.buy 24.69 €
100 UNOFF ROBLOX TOP 100 GAMES FARSHORE / Libro Tapa dura
common.buy 17.29 €
Growing Tinda gourd (Citrullus vulgaris L.) under saline environment Mujahid Ali / Libro Tapa blanda
common.buy 39.39 €
Effect of Simulated Acid Rain on Sunflower Plant Nand Lal / Libro Tapa blanda
common.buy 63.89 €
A History of Mongolian Shamanism Dalai Chuluunii / Libro Tapa blanda
common.buy 124.09 €
Work From Home- Work For Pain Tripti Pandey / Libro Tapa blanda
common.buy 59.99 €
ANT Kevin Ingam / Libro Tapa dura
common.buy 39.99 €
Too Fool For Cool BEN SCHNEIDER / Libro Tapa blanda
common.buy 26.29 €
Beyond Bend It Like Beckham Timothy F Grainey / Libro Tapa blanda
common.buy 16.49 €
National youth anti-drug media campaign: how to ensure the program operates efficiently and effectively United States Congress / Libro Tapa blanda
common.buy 22.89 €
JOURNAL OF THE AMERICAN INSTITUTE OF ARC AMERICAN INSTITUTE O / Libro Tapa dura
common.buy 30.79 €
Medical Terminology for Healthcare Translators: English-Spanish Medical Terms Jose Luis Leyva / Libro Tapa blanda
common.buy 14.49 €
ROCKFORDS FORGOTTEN DRIVING PARK Amanda Becker / Libro Tapa blanda
common.buy 18.09 €
Pop Harry Potter Holiday Dumbledore Vinyl Figure Funko / Juego/Juguete Juguete
common.buy 16.49 €
Fundamentals of Protein Structure and Function Engelbert Buxbaum / Libro Tapa dura
common.buy 154.79 €
Electrochemical deposition of metals coatings Ahmed Y. Musa / Libro Tapa blanda
common.buy 48.29 €
Fertilizer Requirements and Nutrient Dynamics in Teak Plantations Muhammad Tahir Siddiqui / Libro Tapa blanda
common.buy 73.49 €
Biographical Dictionary of the History of Technology Ian McNeil / Libro Tapa blanda
common.buy 233.89 €
Próximamente
GIS for Group Decision Making Timothy L. Nyerges / Libro Tapa dura
common.buy 206.49 €
Ceramic Armor and Armor Systems - Ceramic Transactions V151 Eugene Medvedovsk / Libro Tapa blanda
common.buy 142.59 €
Rover Joseph Conrad / Libro Tapa blanda
common.buy 19.09 €
Platform Engineering with Fractal Architecture Angelo Nicolosi / Libro Tapa blanda
common.buy 48.09 €

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?