Detail produktu

Produkt mají v nabídce:

Bookshop

1 322 Kč

Do eshopu

Leveraging Applications of Formal Methods, Verification and Validation

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.

Podobné produkty

Leveraging Applications of Formal Methods, Verification and Validation

1 322 Kč

Porovnat nabídky

Essentials of Formal Axiology - Edwards, Rem B.

1 312 Kč

Porovnat nabídky

Applications of Solid Phase Microextraction

2 203 Kč

Porovnat nabídky

Applications of Reference Materials in Analytical Chemistry - Walker, Ron (Laboratory of the Government Chemist) a Bedson, Peter (Laboratory of the Government Chemist, UK) a Lawn, Richard (Laboratory of the Government Chemist) a Barwick, Vicki J (LGC Limited, UK) a Burke, Shaun (Laboratory of the Government Chemist) a Roper,

2 342 Kč

Porovnat nabídky

Applications of Hydrogen Peroxide and Derivatives - Jones, C W (Swansea University, UK)

2 811 Kč

Porovnat nabídky

Contemporary Applications of a Systems Approach to Education - Dunn, Kerry a Scileppi, John A. a Averna, Leslie a Zerillo, Vanessa a Skelding, Mark

2 500 Kč

Porovnat nabídky

Medicinal Applications of Coordination Chemistry - Jones, Chris J (University of Birmingham (Retired), UK) a Thornback, John R

4 531 Kč

Porovnat nabídky

Theory and Practice of Formal Methods

1 322 Kč

Porovnat nabídky

Formal Methods and Software Engineering

1 322 Kč

Porovnat nabídky

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

1 322 Kč

Porovnat nabídky

Formal Methods for Distributed Processing

4 438 Kč

Porovnat nabídky

Integrated Formal Methods

2 056 Kč

Porovnat nabídky