Paul Boca & Jonathan P. Bowen 
Formal Methods: State of the Art and New Directions [PDF ebook] 

Ondersteuning
€96.29
Betalingsmethoden

Inhoudsopgave

Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of ?Z.- The Computer Ate My Vote.- Formal Methods for Biochemical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.

Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● Pagina’s 273 ● ISBN 9781848827363 ● Bestandsgrootte 3.1 MB ● Editor Paul Boca & Jonathan P. Bowen ● Uitgeverij Springer London ● Stad London ● Land GB ● Gepubliceerd 2009 ● Downloadbare 24 maanden ● Valuta EUR ● ID 2151992 ● Kopieerbeveiliging Sociale DRM

Meer e-boeken van dezelfde auteur (s) / Editor

16.795 E-boeken in deze categorie