€96.29
विषयसूची
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.
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● पेज 273 ● ISBN 9781848827363 ● फाइल का आकार 3.1 MB ● संपादक Paul Boca & Jonathan P. Bowen ● प्रकाशक Springer London ● शहर London ● देश GB ● प्रकाशित 2009 ● डाउनलोड करने योग्य 24 महीने ● मुद्रा EUR ● आईडी 2151992 ● कॉपी सुरक्षा सामाजिक DRM
एक ही लेखक से अधिक ईबुक / संपादक
16,480 इस श्रेणी में ईबुक
