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

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro NASA Formal Methods Klaus Havelund
Código Libristo: 09225659
Editores Springer International Publishing AG, marzo 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... 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

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann / Libro Tapa blanda
common.buy 113.59 €
Espectro de la analogía : Literatura & ciencia / Libro Tapa blanda
common.buy 22.89 €
Аэлита. Гиперболоид инженера Гарина Алексей Толстой / Libro Tapa dura
common.buy 25.89 €
Familiae minorum gentium; Volumen 1 John William Clay / Libro Tapa blanda
common.buy 39.69 €
Popular
Cay Koy Yeniden Basliyoruz / Libro Tapa blanda
common.buy 14.39 €
Piano PLUS - Cahier de l'élève Cycles 2, 3, 4 Sandrine Monnier / Libro Tapa blanda
common.buy 14.69 €
??????? ???????? 1 ??? (AH1-Korean Edition) Marshall Vian Summers / Libro electrónico Adobe ePub DRM
common.buy 10.49 €
Entangled Networks of Semiflexible Polymers Hinsch Hauke / Libro Tapa blanda
common.buy 53.09 €
Teorias de la Lirica Gustavo Guerrero / Libro Tapa blanda
common.buy 10.69 €
La construcción de los interrogatorios desde la teoría del caso Benavente Chorres / Libro Tapa blanda
common.buy 52.29 €
Salvia Divinorum Jochen Gartz / Libro Tapa blanda
common.buy 12.19 €
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Libro Tapa blanda
common.buy 13.19 €
Oeuvres Tome 3 Moliere / Libro Tapa blanda
common.buy 32.29 €
Slovensko v treťom tisícročí Vladimír Bárta / Libro Tapa dura
common.buy 64.89 €
Diabeł tasmański / Juego/Juguete Juguete
common.buy 5.09 €
Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen / Libro Tapa blanda
common.buy 14.29 €
Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy / Libro Tapa dura
common.buy 16.89 €
Le réchauffement climatique et ses impacts Exbalin / Libro Tapa blanda
common.buy 29.79 €
La magrana de foc Morey Servera / Libro Tapa blanda
common.buy 16.79 €
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Libro Tapa dura
common.buy 292.59 €
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Libro Tapa blanda
common.buy 45.49 €
Magorie Šarközi / Audio CD de audio
common.buy 5.69 €

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2014, held in Pasadena, CA, USA, April 27-29, 2015.§The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.

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 NASA Formal Methods
Autor Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 458
EAN 9783319175232
ISBN 3319175238
Código Libristo 09225659
Editores Springer International Publishing AG
Peso 718
Dimensiones 155 x 235 x 26

Categorías

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

Popular
This Is Fine Talking Figurine KC Green / Juego/Juguete Juguete
common.buy 12.89 €
Teach My Hands to War 7 Day Experience: Suiting Up In The Armor of God Tawanna Green / Libro Tapa blanda
common.buy 12.59 €
Papers of the American School of Classical Studies at Athens Archaeological Institute of America / Libro Tapa blanda
common.buy 25.89 €
Power Shifts Foltz Dr. Howard Foltz / Libro Tapa blanda
common.buy 11.19 €
Do the F*cking Work Brian Buirge / Libro Tapa dura
common.buy 22.99 €
Designed for Destiny - Guide Linda Santangelo / Libro Tapa blanda
common.buy 13.49 €
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Libro Tapa dura
common.buy 30.79 €
Child and Adolescent Psychotherapy Stephen Hupp / Libro Tapa blanda
common.buy 105.29 €
Great Mongol Shahnama Robert Hillenbrand / Libro Tapa dura
common.buy 178.29 €
Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Libro Tapa blanda
common.buy 28.29 €
Everybody Likes Pizza Andy Mason / Libro Tapa blanda
common.buy 10.69 €
American Legends: The Life of Paul Newman Charles River Editors / Libro Tapa blanda
common.buy 8.99 €
In One Town Edmund Downey / Libro Tapa blanda
common.buy 21.79 €
Pastor and the Painter Cindy Wockner / Libro Tapa blanda
common.buy 21.69 €
The Wrong Side of Goodbye Michael Connelly / Libro Tapa blanda
common.buy 17.69 €
Miscellanies Volume 3 Francis William Newman / Libro Tapa dura
common.buy 40.69 €
Stashbuster Knits Melissa Leapman / Libro electrónico Adobe ePub DRM
common.buy 6.69 €
Proteomic Applications in Virology Timothy Daniel Veenstra / Libro electrónico Adobe ePub DRM
common.buy 198.99 €
Enhancing Renewable Energy Systems With Generative AI Abhishek Kumar / Libro Tapa dura
common.buy 289.69 €
The Forward Book of Poetry 2026 Various Poets / Libro Tapa blanda
common.buy 11.59 €
Económico
Making Space Jane Hall / Libro Tapa dura
common.buy 31.99 €
Cold Shot Blair Denholm / Libro Tapa blanda
common.buy 16.49 €
Political Myths in History Textbooks Venken Machteld Venken / Libro electrónico Adobe ePub DRM
common.buy 59.79 €
An Exposition of the Epistles of St. Paul John MacEvilly / Libro Tapa dura
common.buy 40.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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?