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

Unfoldings

A Partial-Order Approach to Model Checking

Idioma InglésInglés
Libro Tapa blanda
Libro Unfoldings Javier Esparza
Código Libristo: 01654485
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noviembre 2010
In this book the authors introduce unfoldings, an approach to model checking which alleviates the st... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Assistenza infermieristica psichiatrica forense e sistema giudiziario penale Eman Mohamed I. M. El-Genady / Libro Tapa blanda
common.buy 59.99 €
Vortex Benning / Libro Tapa blanda
common.buy 14.49 €
Robinson Crusoe Daniel Defoe / Libro Tapa blanda
common.buy 10.09 €
Sangre CLARA PEÑALVER / Libro Tapa blanda
common.buy 11.95 €
ENSENADA ET SON TEMPS BOUVIER RENE Libro binding.
common.buy 17.49 €
Unti JA Picture Book - Inteli Bruno Jacob / Libro Tapa dura
common.buy 14.99 €
Problema smysla zhizni i sowremennost' / Libro Tapa blanda
common.buy 77.69 €
Gothofredi Guillelmi Leibnitii ... Opera Omnia: Nunc Primum Collecta, In Classes Distributa, Praefationibus Et Indicibus Exornata; Volume 2 Louis Dutens / Libro Tapa blanda
common.buy 33.69 €
Spacer po Warszawie Mateusz Kaczyński / Libro Tapa blanda
common.buy 7.59 €
St Porphyry of Kausokalyvia, the Secret Is Being Thankful: An Anthology of St Porphyry's Speeches, with an Introduction and Comments by George Valsami George Valsamis / Libro Tapa blanda
common.buy 13.59 €
Trina Klaus Groth / Libro Tapa blanda
common.buy 21.79 €
Dementia Jonathan Schmitt / Libro Tapa blanda
common.buy 12.99 €
Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood / Libro Tapa blanda
common.buy 43.09 €
Nibelunge Not mit den Abweichungen von der Nibelunge Liet Bartsch Karl Bartsch / Libro Tapa blanda
common.buy 30.59 €
Lambacher Schweizer Mathematik Einführungsphase. Ausgabe Hessen / Libro Tapa blanda
common.buy 30.39 €
Vom Chaos zur Endophysik Florian Rötzer / Libro Tapa blanda
common.buy 47.29 €
Theatre Complet d'Alex. Dumas. Tome 13 Le Comte de Morcerf Alexandre Dumas / Libro Tapa blanda
common.buy 22.99 €
Oeuvres de Voltaire 51-52, 54-70. Correspondance. T. 63 (Ed.1830-1834) Voltaire / Libro Tapa blanda
common.buy 38.39 €
Qualidade de vida e auto estima apos mamoplastia redutora Almendros Mello Arnaldo / Libro Tapa blanda
common.buy 23.69 €
Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski / Libro Tapa blanda
common.buy 35.69 €
Zum Bedeutungsverlust formaler Standardisierung fur die Marktrelevanz von Audio-Standards zur Online-Distribution Werner Otto / Libro Tapa blanda
common.buy 52.19 €

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.

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 Unfoldings
Autor Javier Esparza, Keijo Heljanko
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 172
EAN 9783642096051
ISBN 3642096050
Código Libristo 01654485
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 290
Dimensiones 155 x 235 x 9

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software > Pruebas y verificación de 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
Computación e informática > Sistemas operativos
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

High Frequency Acoustics in Colloid-Based Meso- and Nanostructures by Spontaneous Brillouin Light Scattering Tim Still / Libro Tapa dura
common.buy 112.79 €
Objectivity in Science Flavia Padovani / Libro Tapa blanda
common.buy 124.09 €
John Pinkowski, Petitioner, V. Ralph Coglay, Doing Business as Mohawk Equipment Company. U.S. Supreme Court Transcript of Record with Supporting Plead Richard E Mueller / Libro Tapa blanda
common.buy 22.79 €
Man Who Educated a Horse (a Pioneer in Humane Education) Essie Mott Lee / Libro Tapa blanda
common.buy 16.69 €
Ghost of the Pirate Mermaid George J Guerin / Libro Tapa blanda
common.buy 20.09 €
Castrato Robert C Novarro / Libro Tapa dura
common.buy 30.79 €
Heroism and the Supernatural in the African Epic Mariam Konate Deme / Libro Tapa blanda
common.buy 80.89 €
Daughters of Disaster Amanda L Rautio / Libro Tapa dura
common.buy 42.39 €
Jane Austen's Popular and Critical Reputation Joan Klingel Ray / Libro Tapa dura
common.buy 644.09 €
Popular
Good Inside Becky Kennedy / Libro Tapa blanda
common.buy 17.29 €
Essays On Various Subjects, Religious And Moral V1: The Practical Application Of Their Principles To The State Of Man In Society (1821) Alexander Watson / Libro Tapa blanda
common.buy 44.59 €
Documentary History of Dunmore's War, 1774 Reuben Gold Thwaites / Libro Tapa blanda
common.buy 42.59 €
Economics of Green Growth Shunsuke Managi / Libro Tapa blanda
common.buy 75.49 €
The Sufferings of John Coustos for Freemasonry and for His Refusing to Turn Roman Catholic in the Inquisition at Lisbon John Coustos / Libro Tapa blanda
common.buy 43.59 €
Migrant Marketplaces Elizabeth Zanoni / Libro Tapa blanda
common.buy 32.69 €
(Almost) Impossible Integrals, Sums, and Series Cornel Ioan Valean / Libro Tapa dura
common.buy 88.49 €
Popular
Witch Hat Atelier 5 Kamome Shirahama / Libro Tapa blanda
common.buy 11.89 €
Animals, Politics and Morality Robert Garner / Libro Tapa dura
common.buy 114.49 €
A Modern Cinderella / Libro Tapa blanda
common.buy 17.09 €
At the Crossroads Harriet T. (Harriet Theresa) Comstock / Libro Tapa dura
common.buy 24.69 €
Ceramic Glazes Brian Taylor / Libro Tapa dura
common.buy 60.69 €
Art of Gluten-Free Living Wilson / Libro Tapa blanda
common.buy 14.09 €
Próximamente
Negotiating Difference Michael Awkward / Libro Tapa dura
common.buy 115.99 €
Sidetracked Allan Michael Hardin / Libro Tapa blanda
common.buy 11.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?