«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.

Automatic Verification of Sequential Infinite-State Processes

Idioma InglésInglés
Libro Tapa blanda
Libro Automatic Verification of Sequential Infinite-State Processes Burkart
Código Libristo: 06615459
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, diciembre 1997
This monograph provides information for theoreticians interested in algebraic theories, as well as f... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild / Libro Tapa blanda
common.buy 58.09 €
Der Reisende Ulrich Alexander Boschwitz / Libro electrónico Adobe ePub DRM
common.buy 11.69 €
Spirit Island: Natur Erwacht (Erweiterung) / Juego/Juguete Juego
common.buy 51.39 €
Die Reiniger Henk Wester / Libro Tapa blanda
common.buy 19.19 €
porte dell'Ade. Eroi. La dea della luce Ivano Locatelli / Libro Tapa dura
common.buy 19.39 €
EL JARD¡N DE LOS ABRAZOS JOSE ANTONIO LUENGO LATORRE / Libro Tapa dura
common.buy 17.79 €
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos Roberto Carlos F. de Oliveira / Libro Tapa blanda
common.buy 39.39 €
Genie venge, poeme GUYETAND-C-M / Libro Tapa blanda
common.buy 14.19 €
Andare per la Sicilia dei greci Franco La Cecla / Libro Tapa blanda
common.buy 15.19 €
Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4 Sans Auteur / Libro Tapa blanda
common.buy 30.19 €
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / Libro Tapa blanda
common.buy 28.69 €
Agenda 21 Local Et Sig Didier Jean Yemba / Libro Tapa blanda
common.buy 28.69 €

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

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 Automatic Verification of Sequential Infinite-State Processes
Autor Burkart, O. (University of Dortmund, Germany)
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1997
Número de páginas 176
EAN 9783540639824
ISBN 9783540639824
Código Libristo 06615459
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 284
Dimensiones 155 x 235 x 10

Categorías

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 > Arquitectura y diseño lógico de ordenadores
Matemáticas y ciencias > Matemáticas
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

U.S. History Activities: Interactive Learning Strategies and Enrichment Projects John Zola / Libro Tapa blanda
common.buy 24.79 €
Blue Yonder Justine Davis Randers-Pehrson / Libro Tapa blanda
common.buy 17.29 €
National Intelligencer Newspaper Abstracts Joan M Dixon / Libro Tapa blanda
common.buy 51.59 €
Cyprus Robert Hamilton Lang / Libro Tapa blanda
common.buy 32.79 €
Coexistence Danny Rittman / Libro Tapa blanda
common.buy 14.29 €
Empty Nest Karen Stabiner / Libro Tapa dura
common.buy 31.29 €
Media and the Transformation of Religion in South Asia Lawrence A. Babb / Libro Tapa dura
common.buy 92.49 €
Companion to Modern Art Pam Meecham / Libro Tapa dura
common.buy 212.99 €
12 Critical Things Your Family Needs to Know Mark Gavagan / Libro Tapa blanda
common.buy 19.19 €
Combinatorial Pattern Matching Alberto Apostolico / Libro Tapa blanda
common.buy 56.59 €
Gin and Gingerbread Elizabeth Jeffrey / Libro Tapa blanda
common.buy 30.69 €
Darkest Star Jennifer L. Armentrout / Libro Tapa blanda
common.buy 14.29 €
Damaged Bonds Michael Eigen / Libro Tapa dura
common.buy 194.39 €
Three Men in a Boat K. Jerome / Libro Tapa blanda
common.buy 19.39 €
Blippi: I Like That!: Blippi Coloring Book Editors of Studio Fun International / Libro Tapa blanda
common.buy 4.99 €
American Tang Soo Do Federation System: Orang Belt Student Manual David Wilson / Libro Tapa blanda
common.buy 29.49 €
Fundamentals of Statistical Inference Norbert Hirschauer / Libro Tapa blanda
common.buy 62.99 €
Traffic Engineering Franco Callegati / Libro Tapa dura
common.buy 38.89 €
A History of German in 101 Words Charles V. J. Russ / Libro Tapa blanda
common.buy 60.79 €
Popular
Shake Hands With The Devil Romeo Dallaire / Libro Tapa blanda
common.buy 14.99 €
Between Slavery and Freedom Bill E. Lawson / Libro Tapa blanda
common.buy 19.09 €
History of the Incas Pedro Sarmiento de Gamboa / Libro Tapa blanda
common.buy 34.29 €
How to Draw Scott Robertson / Libro Tapa dura
common.buy 44.19 €
Cambridge Introduction to the Old Norse-Icelandic Saga Margaret Clunies Ross / Libro Tapa dura
common.buy 143.69 €

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