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 136 b
20 196 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 40 570 Ft
DRAGON BALL HEROES UNIVERSE BIG BANG MISSION Nº 03/03 TORIYAMA / Könyv Puha kötésű
common.buy 3 112 Ft
Аэлита. Гиперболоид инженера Гарина Алексей Толстой / Könyv Kemény kötésű
common.buy 8 467 Ft
Familiae minorum gentium; Volumen 1 John William Clay / Könyv Puha kötésű
common.buy 14 855 Ft
Toplistás
Cay Koy Yeniden Basliyoruz / Könyv Puha kötésű
common.buy 5 135 Ft
Piano PLUS - Cahier de l'élève Cycles 2, 3, 4 Sandrine Monnier / Könyv Puha kötésű
common.buy 4 909 Ft
??????? ???????? 1 ??? (AH1-Korean Edition) Marshall Vian Summers / E-könyv Adobe ePub DRM
common.buy 3 558 Ft
Oeuvres Tome 3 Moliere / Könyv Puha kötésű
common.buy 12 071 Ft
La magrana de foc Morey Servera / Könyv Puha kötésű
common.buy 5 937 Ft
Olcsón
Umenie zablúdiť Boris Filan / Könyv Kemény kötésű
common.buy 2 098 Ft
Tibetská léčení zvukem + CD Tenzin Wangyal Rinpočhe / Könyv Könyv
common.buy 4 407 Ft
Salvia Divinorum Jochen Gartz / Könyv Puha kötésű
common.buy 4 346 Ft
Entangled Networks of Semiflexible Polymers Hinsch Hauke / Könyv Puha kötésű
common.buy 18 947 Ft
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Könyv Kemény kötésű
common.buy 104 555 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 16 981 Ft
Espectro de la analogía : Literatura & ciencia / Könyv Puha kötésű
common.buy 8 514 Ft
La construcción de los interrogatorios desde la teoría del caso Benavente Chorres / Könyv Puha kötésű
common.buy 19 525 Ft
Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen / Könyv Puha kötésű
common.buy 5 374 Ft
Teorias de la Lirica Gustavo Guerrero / Könyv Puha kötésű
common.buy 3 961 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 942 Ft
Slovensko v treťom tisícročí Vladimír Bárta / Könyv Kemény kötésű
common.buy 21 787 Ft
Diabeł tasmański / Játék Játék
common.buy 2 112 Ft
Magorie Šarközi / Hanganyagok Audio CD
common.buy 1 976 Ft
Le réchauffement climatique et ses impacts Exbalin / Könyv Puha kötésű
common.buy 10 316 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 5 224 Ft
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Könyv Kemény kötésű
common.buy 11 551 Ft
Child and Adolescent Psychotherapy Stephen Hupp / Könyv Puha kötésű
common.buy 35 942 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 598 Ft
Everybody Likes Pizza Andy Mason / Könyv Puha kötésű
common.buy 4 018 Ft
American Legends: The Life of Paul Newman Charles River Editors / Könyv Puha kötésű
common.buy 3 379 Ft
Designed for Destiny - Guide Linda Santangelo / Könyv Puha kötésű
common.buy 5 060 Ft
A House of Her Own: A Claire Marshall Novel Patricia Dusenbury / Könyv Puha kötésű
common.buy 4 731 Ft
In One Town Edmund Downey / Könyv Puha kötésű
common.buy 7 768 Ft
Pastor and the Painter Cindy Wockner / Könyv Puha kötésű
common.buy 6 205 Ft
The Wrong Side of Goodbye Michael Connelly / Könyv Puha kötésű
common.buy 5 998 Ft
Miscellanies Volume 3 Francis William Newman / Könyv Kemény kötésű
common.buy 15 211 Ft
English-Portuguese phrasebook and 250-word mini dictionary Andrey Taranov / Könyv Puha kötésű
common.buy 4 018 Ft
Brain Games Book for Kids Speedy Publishing LLC / Könyv Puha kötésű
common.buy 5 092 Ft
Myeloid Leukemia Harry Iland / Könyv Puha kötésű
common.buy 57 213 Ft
Great Mongol Shahnama Robert Hillenbrand / Könyv Kemény kötésű
common.buy 59 709 Ft
Praxis Core Math Study Guide Reza Nazari / Könyv Puha kötésű
common.buy 7 533 Ft
Mediterranean and Middle East 1941-1945 Atlas Official Records / Könyv Puha kötésű
common.buy 17 769 Ft
Gates of Anubis Kylie Quillinan / Könyv Puha kötésű
common.buy 6 430 Ft
Aquatic Insects: Behavior and Ecology Kleber Del-Claro / Könyv Puha kötésű
common.buy 100 580 Ft
Stashbuster Knits Melissa Leapman / E-könyv Adobe ePub DRM
common.buy 2 248 Ft
DK Super Readers Level 3 DC Supergirl Girl of Steel Ruth Amos / Könyv Puha kötésű
common.buy 2 126 Ft
Thermodynamic Approach to Water Geothermometry Luigi Marini / Könyv Kemény kötésű
common.buy 60 395 Ft
Hathor Lesley Jackson / Könyv Puha kötésű
common.buy 11 044 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?