Detail produktu

Produkt mají v nabídce:

Bookshop

1 322 Kč

Do eshopu

Verified Software: Theorie, Tools, Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.

Podobné produkty

Verified Software: Theories, Tools, and Experiments

1 322 Kč

Porovnat nabídky

Verified Software: Theories, Tools and Experiments

1 175 Kč

Porovnat nabídky

Dependable Software Engineering: Theories, Tools, and Applications

1 175 Kč

Porovnat nabídky

Non-humans in Social Science II - Ontologies, Theories and Case Studies - Karolína Pauknerová

349 Kč

Porovnat nabídky

Process Algebra: Equational Theories of Communicating Processes - Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands) a Basten, T. (Technische Universiteit Eindhoven, The Netherlands) a Reniers, M. A. (Technische Universiteit Eindhoven, The Netherlands)

2 969 Kč

Porovnat nabídky

Lineare Regelungs- und Steuerungstheorie - Reinschke, Kurt

2 644 Kč

Porovnat nabídky

Unifying Theories of Programming and Formal Engineering Methods

1 322 Kč

Porovnat nabídky

Surveys and Experiments in Education Research - McNamara, James F.

1 234 Kč

Porovnat nabídky

Beyond Experiments in Development Economics - Taylor, J. Edward (Professor, Professor, Department of Agricultural and Resource Economics, University of California, Davis) a Filipski, Mateusz J. (Postdoctoral Fellow, Postdoctoral Fellow, International Food Policy Research Institute)

1 250 Kč

Porovnat nabídky

Wear of Rock Cutting Tools - Deketh, H.J.R.

4 562 Kč

Porovnat nabídky

Handbook of Ecosystem Theories and Management

9 063 Kč

Porovnat nabídky

Creating Improvised Theatre, Tools, Techniques, and Theories for Short Form and Narrative Improvisation

1 187 Kč

Porovnat nabídky