Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

NASA Formal Methods

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga NASA Formal Methods Klaus Havelund
Libristo kod: 09225659
Nakladnici Springer International Publishing AG, ožujak 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann / Knjiga Meki uvez
common.buy 94.18 €
Familiae minorum gentium; Volumen 1 John William Clay / Knjiga Meki uvez
common.buy 38.27 €
Аэлита. Гиперболоид инженера Гарина Алексей Толстой / Knjiga Tvrdi uvez
common.buy 22.17 €
Slovensko v treťom tisícročí Vladimír Bárta / Knjiga Tvrdi uvez
common.buy 56.81 €
Espectro de la analogía : Literatura & ciencia / Knjiga Meki uvez
common.buy 22.68 €
La construcción de los interrogatorios desde la teoría del caso Benavente Chorres / Knjiga Meki uvez
common.buy 51.95 €
La magrana de foc Morey Servera / Knjiga Meki uvez
common.buy 15.89 €
Teorias de la Lirica Gustavo Guerrero / Knjiga Meki uvez
common.buy 10.62 €
Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen / Knjiga Meki uvez
common.buy 12.65 €
Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy / Knjiga Tvrdi uvez
common.buy 16.40 €
Le réchauffement climatique et ses impacts Exbalin / Knjiga Meki uvez
common.buy 28.65 €
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Knjiga Meki uvez
common.buy 12.75 €
Oeuvres Tome 3 Moliere / Knjiga Meki uvez
common.buy 31.19 €
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Knjiga Meki uvez
common.buy 44.15 €
Césped, diseño, instalación y cuidado Beretta / Knjiga Meki uvez
common.buy 6.88 €
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Knjiga Tvrdi uvez
common.buy 268.19 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv NASA Formal Methods
Autor Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 458
EAN 9783319175232
ISBN 3319175238
Libristo kod 09225659
Nakladnici Springer International Publishing AG
Težina 718
Dimenzije 155 x 235 x 26

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Top
This Is Fine Talking Figurine KC Green / Igra/Igračka Igračka
common.buy 11.64 €
Myeloid Leukemia Harry Iland / Knjiga Meki uvez
common.buy 146.14 €
Pripremamo
Pathfinder Player Companion: Varisia, Birthplace of Legends F Wesley Schneider / Knjiga Meki uvez
common.buy 10.62 €
Brain Games Book for Kids Speedy Publishing LLC / Knjiga Meki uvez
common.buy 12.85 €
The Wrong Side of Goodbye Michael Connelly / Knjiga Meki uvez
common.buy 17.11 €
In One Town Edmund Downey / Knjiga Meki uvez
common.buy 19.74 €
Everybody Likes Pizza Andy Mason / Knjiga Meki uvez
common.buy 10.32 €
Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Knjiga Meki uvez
common.buy 27.23 €
Child and Adolescent Psychotherapy Stephen Hupp / Knjiga Meki uvez
common.buy 95.20 €
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Knjiga Tvrdi uvez
common.buy 29.77 €
Designed for Destiny - Guide Linda Santangelo / Knjiga Meki uvez
common.buy 13.06 €
Power Shifts Foltz Dr. Howard Foltz / Knjiga Meki uvez
common.buy 10.62 €
Teach My Hands to War 7 Day Experience: Suiting Up In The Armor of God Tawanna Green / Knjiga Meki uvez
common.buy 12.14 €
Great Mongol Shahnama Robert Hillenbrand / Knjiga Tvrdi uvez
common.buy 187.57 €
Gates of Anubis Kylie Quillinan / Knjiga Meki uvez
common.buy 16.60 €
Mediterranean and Middle East 1941-1945 Atlas Official Records / Knjiga Meki uvez
common.buy 54.48 €
Praxis Core Math Study Guide Reza Nazari / Knjiga Meki uvez
common.buy 19.33 €
Aquatic Insects: Behavior and Ecology Kleber Del-Claro / Knjiga Meki uvez
common.buy 257.35 €
DK Super Readers Level 3 DC Supergirl Girl of Steel Ruth Amos / Knjiga Meki uvez
common.buy 5.56 €
An Exposition of the Epistles of St. Paul John MacEvilly / Knjiga Tvrdi uvez
common.buy 39.29 €
The Red-Cross Alliance At Sea (1871) Jan Helenus Ferguson / Knjiga Tvrdi uvez
common.buy 34.53 €
Ikarus Deon Meyer / Knjiga Meki uvez
common.buy 20.35 €
Bookkeeping Ledger Speedy Publishing LLC / Knjiga Meki uvez
common.buy 13.56 €
Rationality for Mortals Gerd Gigerenzer / Knjiga Tvrdi uvez
common.buy 98.23 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?