Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

NASA Formal Methods

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha NASA Formal Methods Alwyn Goodloe
Libristo kód: 01660738
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2012
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal... Celý popis
? points 125 b
51.62 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Cuentos de la filosofía griega : Platón, hablando de Sócrates Mercedes Aguirre / Kniha Brožovaná
common.buy 16.66 €
Uso de las ciclovías como un recurso turístico Anabel Monserrate / Kniha Brožovaná
common.buy 57.78 €
La traduzione e il linguaggio nelle guide turistiche Giorgia Bestagno / Kniha Brožovaná
common.buy 32.02 €
mon chemin vers compostelle Joëlle Thibaud / Kniha Brožovaná
common.buy 9.99 €
AElpler Peter Rosegger / Kniha Brožovaná
common.buy 39.70 €
Checkliste Anästhesie Gernot Marx / Kniha binding.
common.buy 66.87 €
Nachhaltige Kapitalanlagen Boris Neumann / Kniha Brožovaná
common.buy 51.62 €
WAS IST WAS Mission im Weltraum Sarah Konrad / Kniha Pevná
common.buy 15.25 €
Shakara Fela Kuti Audio Audio vinyl
common.buy 32.12 €

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. §The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov NASA Formal Methods
Autor Alwyn Goodloe, Suzette Person
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 466
EAN 9783642288906
ISBN 3642288901
Libristo kód 01660738
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 721
Rozmery 155 x 235 x 26

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Quantum Potential: Physics, Geometry and Algebra Ignazio Licata / Kniha Brožovaná
common.buy 51.62 €
Field Guide to Covering Local News Fred Bayles / Kniha Krúžková
common.buy 43.53 €
Beast Quest: Draka the Winged Serpent Adam Blade / Kniha Brožovaná
common.buy 9.59 €
Towards Belonging Andrew Briggs / Kniha Pevná
common.buy 171.44 €
The Advanced Options Trading Guide: The Best Complete Guide for Earning Income With Options Trading, Learn Secret Investment Strategies for Investing Neil Sharp / Kniha Brožovaná
common.buy 13.23 €
An Inquiry Into the Nature of Peace and the Terms of Its Perpetuation Thorstein Veblen / Kniha Brožovaná
common.buy 9.18 €
Online Dating Profiles: What Are They Really Telling You? Kady Knutz / Kniha Brožovaná
common.buy 18.28 €
Tattva-chintamani by Gangesa Upadhyaya; With Extracts From the Commentaries of Mathuranatha Tarkavagisa and of Jayadeva Misra. Edited by Kamakhyanath 13th Cent Gangesa / Kniha Pevná
common.buy 39.09 €
Pripravujeme
Blue Sabine Gerald Duff / Kniha Brožovaná
common.buy 20.30 €
Nationalisms: The Nation-State and Nationalism in the Twentieth Century Montserrat Guibernau / Kniha Brožovaná
common.buy 25.05 €
To Kill A Mockingbird Harper Lee / Audio Audio CD
common.buy 21.71 €
Optimization Methods in Electromagnetic Radiation Thomas S. Angell / Kniha Pevná
common.buy 109.21 €
God's Indemnity Dr Cheryl Williams / Kniha Brožovaná
common.buy 15.65 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?