Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

NASA Formal Methods

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

Limba englezăengleză
Carte Carte broșată
Carte NASA Formal Methods Klaus Havelund
Codul Libristo: 09225659
Editura Springer International Publishing AG, martie 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann / Carte Carte broșată
common.buy 521.68 lei
Familiae minorum gentium; Volumen 1 John William Clay / Carte Carte broșată
common.buy 210.79 lei
Аэлита. Гиперболоид инженера Гарина Алексей Толстой / Carte Copertă tare
common.buy 123.53 lei
Slovensko v treťom tisícročí Vladimír Bárta / Carte Copertă tare
common.buy 317.45 lei
Espectro de la analogía : Literatura & ciencia / Carte Carte broșată
common.buy 124.57 lei
La construcción de los interrogatorios desde la teoría del caso Benavente Chorres / Carte Carte broșată
common.buy 285.44 lei
La magrana de foc Morey Servera / Carte Carte broșată
common.buy 87.46 lei
Teorias de la Lirica Gustavo Guerrero / Carte Carte broșată
common.buy 58.37 lei
Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen / Carte Carte broșată
common.buy 70.36 lei
Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy / Carte Copertă tare
common.buy 89.86 lei
Le réchauffement climatique et ses impacts Exbalin / Carte Carte broșată
common.buy 157.00 lei
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Carte Carte broșată
common.buy 70.15 lei
Oeuvres Tome 3 Moliere / Carte Carte broșată
common.buy 171.49 lei
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Carte Carte broșată
common.buy 241.65 lei
Césped, diseño, instalación y cuidado Beretta / Carte Carte broșată
common.buy 37.94 lei
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Carte Copertă tare
common.buy 1 480.83 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet NASA Formal Methods
Autor Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 458
EAN 9783319175232
ISBN 3319175238
Codul Libristo 09225659
Editura Springer International Publishing AG
Greutatea 718
Dimensiuni 155 x 235 x 26

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Top
This Is Fine Talking Figurine KC Green / Joc / Jucărie Jucărie
common.buy 65.15 lei
Myeloid Leukemia Harry Iland / Carte Carte broșată
common.buy 808.91 lei
Curând
Pathfinder Player Companion: Varisia, Birthplace of Legends F Wesley Schneider / Carte Carte broșată
common.buy 59.00 lei
Brain Games Book for Kids Speedy Publishing LLC / Carte Carte broșată
common.buy 71.82 lei
The Wrong Side of Goodbye Michael Connelly / Carte Carte broșată
common.buy 93.82 lei
In One Town Edmund Downey / Carte Carte broșată
common.buy 109.67 lei
Everybody Likes Pizza Andy Mason / Carte Carte broșată
common.buy 57.12 lei
Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Carte Carte broșată
common.buy 150.22 lei
Child and Adolescent Psychotherapy Stephen Hupp / Carte Carte broșată
common.buy 499.37 lei
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Carte Copertă tare
common.buy 163.88 lei
Designed for Destiny - Guide Linda Santangelo / Carte Carte broșată
common.buy 71.82 lei
Power Shifts Foltz Dr. Howard Foltz / Carte Carte broșată
common.buy 59.52 lei
Teach My Hands to War 7 Day Experience: Suiting Up In The Armor of God Tawanna Green / Carte Carte broșată
common.buy 67.03 lei
Great Mongol Shahnama Robert Hillenbrand / Carte Copertă tare
common.buy 1 038.37 lei
Gates of Anubis Kylie Quillinan / Carte Carte broșată
common.buy 91.21 lei
Mediterranean and Middle East 1941-1945 Atlas Official Records / Carte Carte broșată
common.buy 299.62 lei
Praxis Core Math Study Guide Reza Nazari / Carte Carte broșată
common.buy 106.54 lei
Aquatic Insects: Behavior and Ecology Kleber Del-Claro / Carte Carte broșată
common.buy 1 423.39 lei
DK Super Readers Level 3 DC Supergirl Girl of Steel Ruth Amos / Carte Carte broșată
common.buy 31.27 lei
An Exposition of the Epistles of St. Paul John MacEvilly / Carte Copertă tare
common.buy 216.01 lei
The Red-Cross Alliance At Sea (1871) Jan Helenus Ferguson / Carte Copertă tare
common.buy 189.94 lei
Ikarus Deon Meyer / Carte Carte broșată
common.buy 112.27 lei
Bookkeeping Ledger Speedy Publishing LLC / Carte Carte broșată
common.buy 75.78 lei
Rationality for Mortals Gerd Gigerenzer / Carte Copertă tare
common.buy 515.22 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?