Detail produktu

Produkt mají v nabídce:

Bookshop

1 175 Kč

Do eshopu

Formal Methods for Multicore Programming

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.

Podobné produkty

Methods for the Economic Evaluation of Health Care Programmes - Drummond, Michael F. (Centre for Health Economics, University of York, UK) a Sculpher, Mark J. (Centre for Health Economics, University of York, UK) a Claxton, Karl (Centre for Health Economics, University of York, UK) a Stoddart, Greg L. (Professor Emeritus, P

Cena od 2 156 Kč

Porovnat nabídky

Handbook of Research Methods for Studying Daily Life

2 312 Kč

Porovnat nabídky

Research Methods for the Biosciences - Holmes, Debbie (Senior Lecturer, Genetics, Senior Lecturer, Genetics, University of Worcester) a Moody, Peter (Senior Lecturer, Computing, Senior Lecturer, Computing, University of Worcester) a Dine, Diana (Senior Lecturer, Environmental Science, Senior Lectu

1 844 Kč

Porovnat nabídky

Quantitative Methods for Decision Making Using Excel - Davis, Glyn (Principal Lecturer in e-Business and Data Analysis, Teesside University Teaching Fellow) a Pecar, Branko (Visiting Fellow of the University of Gloucestershire a VP- ExxonMobil Global Account, Emerson Process Management)

2 187 Kč

Porovnat nabídky

Numerical Methods for Delay Differential Equations - Bellen, Alfredo (, Universita di Trieste, Italy) a Zennaro, Marino (, Universita di Trieste, Italy)

2 500 Kč

Porovnat nabídky

Handbook of Research Methods for Studying Daily Life

3 438 Kč

Porovnat nabídky

Methods for Disaster Mental Health Research

1 687 Kč

Porovnat nabídky

Handbook of Research Methods for Clinical and Health Psychology

2 313 Kč

Porovnat nabídky

Theory and Practice of Formal Methods

1 322 Kč

Porovnat nabídky

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

1 322 Kč

Porovnat nabídky

Kernel Methods for Pattern Analysis - Shawe-Taylor, John (University of Southampton) a Cristianini, Nello (University of California, Davis)

2 969 Kč

Porovnat nabídky

Web Services, Formal Methods, and Behavioral Types

1 116 Kč

Porovnat nabídky