Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

NASA Formal Methods

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek NASA Formal Methods Alwyn Goodloe
Libristo-code: 01660738
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2012
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal... Volledige beschrijving
? points 125 b
51.59 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Cuentos de la filosofía griega : Platón, hablando de Sócrates Mercedes Aguirre / Boek Gebonden (paperback)
common.buy 16.65 €
Uso de las ciclovías como un recurso turístico Anabel Monserrate / Boek Gebonden (paperback)
common.buy 57.74 €
La traduzione e il linguaggio nelle guide turistiche Giorgia Bestagno / Boek Gebonden (paperback)
common.buy 32.00 €
mon chemin vers compostelle Joëlle Thibaud / Boek Gebonden (paperback)
common.buy 9.99 €
AElpler Peter Rosegger / Boek Gebonden (paperback)
common.buy 39.67 €
Checkliste Anästhesie Gernot Marx / Boek binding.
common.buy 78.54 €
Nachhaltige Kapitalanlagen Boris Neumann / Boek Gebonden (paperback)
common.buy 51.59 €
WAS IST WAS Mission im Weltraum Sarah Konrad / Boek Gebonden (harde band)
common.buy 15.24 €
Shakara Fela Kuti Audio Audio vinyl
common.buy 33.81 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam NASA Formal Methods
Auteur Alwyn Goodloe, Suzette Person
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 466
EAN 9783642288906
ISBN 3642288901
Libristo-code 01660738
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 721
Afmetingen 155 x 235 x 26

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Quantum Potential: Physics, Geometry and Algebra Ignazio Licata / Boek Gebonden (paperback)
common.buy 51.59 €
Field Guide to Covering Local News Fred Bayles / Boek Ringband
common.buy 43.51 €
Beast Quest: Draka the Winged Serpent Adam Blade / Boek Gebonden (paperback)
common.buy 9.58 €
Towards Belonging Andrew Briggs / Boek Gebonden (harde band)
common.buy 188.00 €
The Advanced Options Trading Guide: The Best Complete Guide for Earning Income With Options Trading, Learn Secret Investment Strategies for Investing Neil Sharp / Boek Gebonden (paperback)
common.buy 13.92 €
An Inquiry Into the Nature of Peace and the Terms of Its Perpetuation Thorstein Veblen / Boek Gebonden (paperback)
common.buy 9.68 €
Online Dating Profiles: What Are They Really Telling You? Kady Knutz / Boek Gebonden (paperback)
common.buy 19.28 €
Tattva-chintamani by Gangesa Upadhyaya; With Extracts From the Commentaries of Mathuranatha Tarkavagisa and of Jayadeva Misra. Edited by Kamakhyanath 13th Cent Gangesa / Boek Gebonden (harde band)
common.buy 40.98 €
Blue Sabine Gerald Duff / Boek Gebonden (paperback)
common.buy 17.96 €
Nationalisms: The Nation-State and Nationalism in the Twentieth Century Montserrat Guibernau / Boek Gebonden (paperback)
common.buy 26.14 €
To Kill A Mockingbird Harper Lee / Audio Audio cd
common.buy 22.81 €
Optimization Methods in Electromagnetic Radiation Thomas S. Angell / Boek Gebonden (harde band)
common.buy 119.44 €
God's Indemnity Dr Cheryl Williams / Boek Gebonden (paperback)
common.buy 16.45 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?