Titlebook: Advanced Lectures on Software Engineering; LASER Summer School Peter Müller Textbook 2010 Springer-Verlag Berlin Heidelberg 2010 Action.LA

orthopedist

apiary

Textbook 2010show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification. Software verification has seen tremendous prog

Dorsal

赏心悦目

令人悲伤

0302-9743 n concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.978-3-642-13009-0978-3-642-13010-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

GILD

Synovial-Fluid

公社

Temporal-Lobe

HILAR

9楼