Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

NASA Formal Methods

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

Lingua IngleseInglese
Libro In brossura
Libro NASA Formal Methods Klaus Havelund
Codice Libristo: 09225659
Casa editrice Springer International Publishing AG, marzo 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann / Libro In brossura
common.buy 98.19 €
Familiae minorum gentium; Volumen 1 John William Clay / Libro In brossura
common.buy 39.69 €
Аэлита. Гиперболоид инженера Гарина Алексей Толстой / Libro Rigido
common.buy 24.59 €
Slovensko v treťom tisícročí Vladimír Bárta / Libro Rigido
common.buy 63.49 €
Espectro de la analogía : Literatura & ciencia / Libro In brossura
common.buy 23.49 €
La construcción de los interrogatorios desde la teoría del caso Benavente Chorres / Libro In brossura
common.buy 53.69 €
La magrana de foc Morey Servera / Libro In brossura
common.buy 16.49 €
Teorias de la Lirica Gustavo Guerrero / Libro In brossura
common.buy 10.99 €
Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen / Libro In brossura
common.buy 12.49 €
Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy / Libro Rigido
common.buy 17.69 €
Le réchauffement climatique et ses impacts Exbalin / Libro In brossura
common.buy 30.79 €
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Libro In brossura
common.buy 13.19 €
Oeuvres Tome 3 Moliere / Libro In brossura
common.buy 32.29 €
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Libro In brossura
common.buy 45.49 €
Césped, diseño, instalación y cuidado Beretta / Libro In brossura
common.buy 7.19 €
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Libro Rigido
common.buy 278.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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo NASA Formal Methods
Autore Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 458
EAN 9783319175232
ISBN 3319175238
Codice Libristo 09225659
Casa editrice Springer International Publishing AG
Peso 718
Dimensioni 155 x 235 x 26

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

I migliori
This Is Fine Talking Figurine KC Green / Gioco/giocattolo Giocattolo
common.buy 12.29 €
Myeloid Leukemia Harry Iland / Libro In brossura
common.buy 152.19 €
In preparazione
Pathfinder Player Companion: Varisia, Birthplace of Legends F Wesley Schneider / Libro In brossura
common.buy 11.09 €
Brain Games Book for Kids Speedy Publishing LLC / Libro In brossura
common.buy 13.49 €
The Wrong Side of Goodbye Michael Connelly / Libro In brossura
common.buy 18.39 €
In One Town Edmund Downey / Libro In brossura
common.buy 20.59 €
Everybody Likes Pizza Andy Mason / Libro In brossura
common.buy 10.69 €
Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Libro In brossura
common.buy 28.29 €
Child and Adolescent Psychotherapy Stephen Hupp / Libro In brossura
common.buy 103.39 €
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Libro Rigido
common.buy 30.79 €
Designed for Destiny - Guide Linda Santangelo / Libro In brossura
common.buy 13.49 €
Power Shifts Foltz Dr. Howard Foltz / Libro In brossura
common.buy 11.19 €
Teach My Hands to War 7 Day Experience: Suiting Up In The Armor of God Tawanna Green / Libro In brossura
common.buy 12.59 €
Great Mongol Shahnama Robert Hillenbrand / Libro Rigido
common.buy 205.59 €
Gates of Anubis Kylie Quillinan / Libro In brossura
common.buy 17.19 €
Mediterranean and Middle East 1941-1945 Atlas Official Records / Libro In brossura
common.buy 56.39 €
Praxis Core Math Study Guide Reza Nazari / Libro In brossura
common.buy 20.09 €
Aquatic Insects: Behavior and Ecology Kleber Del-Claro / Libro In brossura
common.buy 267.89 €
DK Super Readers Level 3 DC Supergirl Girl of Steel Ruth Amos / Libro In brossura
common.buy 5.89 €
An Exposition of the Epistles of St. Paul John MacEvilly / Libro Rigido
common.buy 40.69 €
The Red-Cross Alliance At Sea (1871) Jan Helenus Ferguson / Libro Rigido
common.buy 35.79 €
Ikarus Deon Meyer / Libro In brossura
common.buy 21.09 €
Bookkeeping Ledger Speedy Publishing LLC / Libro In brossura
common.buy 14.29 €
Rationality for Mortals Gerd Gigerenzer / Libro Rigido
common.buy 105.69 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?