Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

NASA Formal Methods

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

Langue AnglaisAnglais
Livre Livre de poche
Livre NASA Formal Methods Klaus Havelund
Code Libristo: 09225659
Éditeurs Springer International Publishing AG, mars 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Description détaillée
? points 125 b
51.61 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann / Livre Livre de poche
common.buy 103.32 €
Espectro de la analogía : Literatura & ciencia / Livre Livre de poche
common.buy 23.73 €
Аэлита. Гиперболоид инженера Гарина Алексей Толстой / Livre Livre relié
common.buy 23.53 €
Familiae minorum gentium; Volumen 1 John William Clay / Livre Livre de poche
common.buy 38.17 €
Top
Cay Koy Yeniden Basliyoruz / Livre Livre de poche
common.buy 13.12 €
Piano PLUS - Cahier de l'élève Cycles 2, 3, 4 Sandrine Monnier / Livre Livre de poche
common.buy 14.64 €
??????? ???????? 1 ??? (AH1-Korean Edition) Marshall Vian Summers / Livre numérique Adobe ePub DRM
common.buy 9.89 €
Entangled Networks of Semiflexible Polymers Hinsch Hauke / Livre Livre de poche
common.buy 47.97 €
Teorias de la Lirica Gustavo Guerrero / Livre Livre de poche
common.buy 11.10 €
La construcción de los interrogatorios desde la teoría del caso Benavente Chorres / Livre Livre de poche
common.buy 54.33 €
Salvia Divinorum Jochen Gartz / Livre Livre de poche
common.buy 10.90 €
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Livre Livre de poche
common.buy 12.72 €
Oeuvres Tome 3 Moliere / Livre Livre de poche
common.buy 31.10 €
Slovensko v treťom tisícročí Vladimír Bárta / Livre Livre relié
common.buy 60.50 €
Diabeł tasmański / Jeu/jouet Jouet
common.buy 5.04 €
Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen / Livre Livre de poche
common.buy 13.53 €
Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy / Livre Livre relié
common.buy 16.86 €
Le réchauffement climatique et ses impacts Exbalin / Livre Livre de poche
common.buy 29.59 €
La magrana de foc Morey Servera / Livre Livre de poche
common.buy 16.66 €
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Livre Livre relié
common.buy 267.47 €
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Livre Livre de poche
common.buy 44.03 €
Magorie Šarközi / Audio CD Audio
common.buy 5.34 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet NASA Formal Methods
Auteur Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2015
Nombre de pages 458
EAN 9783319175232
ISBN 3319175238
Code Libristo 09225659
Éditeurs Springer International Publishing AG
Poids 718
Dimensions 155 x 235 x 26

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Top
This Is Fine Talking Figurine KC Green / Jeu/jouet Jouet
common.buy 13.83 €
Teach My Hands to War 7 Day Experience: Suiting Up In The Armor of God Tawanna Green / Livre Livre de poche
common.buy 12.11 €
Papers of the American School of Classical Studies at Athens Archaeological Institute of America / Livre Livre de poche
common.buy 25.04 €
Power Shifts Foltz Dr. Howard Foltz / Livre Livre de poche
common.buy 10.60 €
Do the F*cking Work Brian Buirge / Livre Livre relié
common.buy 21.20 €
Designed for Destiny - Guide Linda Santangelo / Livre Livre de poche
common.buy 13.02 €
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Livre Livre relié
common.buy 29.69 €
Child and Adolescent Psychotherapy Stephen Hupp / Livre Livre de poche
common.buy 99.69 €
Great Mongol Shahnama Robert Hillenbrand / Livre Livre relié
common.buy 165.65 €
Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Livre Livre de poche
common.buy 27.16 €
Everybody Likes Pizza Andy Mason / Livre Livre de poche
common.buy 10.29 €
American Legends: The Life of Paul Newman Charles River Editors / Livre Livre de poche
common.buy 8.68 €
In One Town Edmund Downey / Livre Livre de poche
common.buy 19.69 €
Pastor and the Painter Cindy Wockner / Livre Livre de poche
common.buy 20.60 €
The Wrong Side of Goodbye Michael Connelly / Livre Livre de poche
common.buy 17.57 €
Miscellanies Volume 3 Francis William Newman / Livre Livre relié
common.buy 39.18 €
Stashbuster Knits Melissa Leapman / Livre numérique Adobe ePub DRM
common.buy 6.25 €
Nouveauté
Proteomic Applications in Virology Timothy Daniel Veenstra / Livre numérique Adobe ePub DRM
common.buy 188.07 €
Enhancing Renewable Energy Systems With Generative AI Abhishek Kumar / Livre Livre relié
common.buy 274.34 €
The Forward Book of Poetry 2026 Various Poets / Livre Livre de poche
common.buy 10.80 €
Abordable
Making Space Jane Hall / Livre Livre relié
common.buy 32.31 €
Cold Shot Blair Denholm / Livre Livre de poche
common.buy 15.75 €
Political Myths in History Textbooks Venken Machteld Venken / Livre numérique Adobe ePub DRM
common.buy 56.15 €
An Exposition of the Epistles of St. Paul John MacEvilly / Livre Livre relié
common.buy 39.18 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?