A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

NASA Formal Methods

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv NASA Formal Methods Klaus Havelund
Libristo kód: 09225659
Kiadó Springer International Publishing AG, március 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Teljes leírás
? points 125 b
18 818 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann / Könyv Puha kötésű
common.buy 37 692 Ft
La construcción de los interrogatorios desde la teoría del caso Benavente Chorres / Könyv Puha kötésű
common.buy 17 944 Ft
Аэлита. Гиперболоид инженера Гарина Алексей Толстой / Könyv Kemény kötésű
common.buy 8 564 Ft
Familiae minorum gentium; Volumen 1 John William Clay / Könyv Puha kötésű
common.buy 15 025 Ft
Cay Koy Yeniden Basliyoruz / Könyv Puha kötésű
common.buy 5 208 Ft
Toplistás
Piano PLUS - Cahier de l'élève Cycles 2, 3, 4 Sandrine Monnier / Könyv Puha kötésű
common.buy 5 331 Ft
??????? ???????? 1 ??? (AH1-Korean Edition) Marshall Vian Summers / E-könyv Adobe ePub DRM
common.buy 3 598 Ft
Espectro de la analogía : Literatura & ciencia / Könyv Puha kötésű
common.buy 7 814 Ft
Teorias de la Lirica Gustavo Guerrero / Könyv Puha kötésű
common.buy 3 598 Ft
Entangled Networks of Semiflexible Polymers Hinsch Hauke / Könyv Puha kötésű
common.buy 17 507 Ft
Salvia Divinorum Jochen Gartz / Könyv Puha kötésű
common.buy 3 988 Ft
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Könyv Puha kötésű
common.buy 17 175 Ft
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Könyv Puha kötésű
common.buy 4 999 Ft
Oeuvres Tome 3 Moliere / Könyv Puha kötésű
common.buy 12 210 Ft
Slovensko v treťom tisícročí Vladimír Bárta / Könyv Kemény kötésű
common.buy 22 008 Ft
Diabeł tasmański / Játék Játék
common.buy 1 851 Ft
Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen / Könyv Puha kötésű
common.buy 5 435 Ft
Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy / Könyv Kemény kötésű
common.buy 6 157 Ft
Le réchauffement climatique et ses impacts Exbalin / Könyv Puha kötésű
common.buy 10 809 Ft
La magrana de foc Morey Servera / Könyv Puha kötésű
common.buy 5 450 Ft
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Könyv Kemény kötésű
common.buy 97 562 Ft
Magorie Šarközi / Hanganyagok Audio CD
common.buy 1 956 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés NASA Formal Methods
Szerző Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 458
EAN 9783319175232
ISBN 3319175238
Libristo kód 09225659
Kiadó Springer International Publishing AG
Súly 718
Méretek 155 x 235 x 26

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Toplistás
This Is Fine Talking Figurine KC Green / Játék Játék
common.buy 4 624 Ft
Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Könyv Puha kötésű
common.buy 10 719 Ft
Papers of the American School of Classical Studies at Athens Archaeological Institute of America / Könyv Puha kötésű
common.buy 9 831 Ft
Power Shifts Foltz Dr. Howard Foltz / Könyv Puha kötésű
common.buy 4 258 Ft
Do the F*cking Work Brian Buirge / Könyv Kemény kötésű
common.buy 8 250 Ft
Designed for Destiny - Guide Linda Santangelo / Könyv Puha kötésű
common.buy 5 117 Ft
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Könyv Kemény kötésű
common.buy 11 683 Ft
Child and Adolescent Psychotherapy Stephen Hupp / Könyv Puha kötésű
common.buy 36 353 Ft
Teach My Hands to War 7 Day Experience: Suiting Up In The Armor of God Tawanna Green / Könyv Puha kötésű
common.buy 4 785 Ft
Everybody Likes Pizza Andy Mason / Könyv Puha kötésű
common.buy 4 064 Ft
American Legends: The Life of Paul Newman Charles River Editors / Könyv Puha kötésű
common.buy 3 418 Ft
In One Town Edmund Downey / Könyv Puha kötésű
common.buy 7 182 Ft
Pastor and the Painter Cindy Wockner / Könyv Puha kötésű
common.buy 7 510 Ft
The Wrong Side of Goodbye Michael Connelly / Könyv Puha kötésű
common.buy 6 442 Ft
Miscellanies Volume 3 Francis William Newman / Könyv Kemény kötésű
common.buy 15 385 Ft
A House of Her Own: A Claire Marshall Novel Patricia Dusenbury / Könyv Puha kötésű
common.buy 4 785 Ft
Great Mongol Shahnama Robert Hillenbrand / Könyv Kemény kötésű
common.buy 60 483 Ft
Hathor Lesley Jackson / Könyv Puha kötésű
common.buy 11 170 Ft
Gates of Anubis Kylie Quillinan / Könyv Puha kötésű
common.buy 6 504 Ft
Mediterranean and Middle East 1941-1945 Atlas Official Records / Könyv Puha kötésű
common.buy 21 362 Ft
Praxis Core Math Study Guide Reza Nazari / Könyv Puha kötésű
common.buy 7 619 Ft
Aquatic Insects: Behavior and Ecology Kleber Del-Claro / Könyv Puha kötésű
common.buy 93 618 Ft
DK Super Readers Level 3 DC Supergirl Girl of Steel Ruth Amos / Könyv Puha kötésű
common.buy 2 169 Ft
An Exposition of the Epistles of St. Paul John MacEvilly / Könyv Kemény kötésű
common.buy 15 385 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?