Detail produktu

Produkt mají v nabídce:

Bookshop

1 322 Kč

Do eshopu

Rigorous Methods for Software Construction and Analysis

This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.

Podobné produkty

Inheritance Relationships for Disciplined Software Construction - Gardner, Tracy A.

1 322 Kč

Porovnat nabídky

Formal Methods for Executable Software Models

1 322 Kč

Porovnat nabídky

Mathematical Methods for the Magnetohydrodynamics of Liquid Metals - Gerbeau, Jean-Frederic (, Institut National de Recherche en Informatique et en Automatique, France) a Le Bris, Claude (, Ecole Nationale des Ponts et Chaussees, France) a Lelievre, Tony (, Ecole Nationale des Ponts et Chaussees, France)

4 899 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

Introduction to Monte-Carlo Methods for Transport and Diffusion Equations - Lapeyre, Bernard (, Ecole Nationale des Ponts et Chaussees, Marne-la-Vallee, France) a Pardoux, Etienne (, Universite de Provence, Marseille, France) a Sentis, Remi (, Commissariat a l'Energie Atomique Bruyeres-le-Chatel, France)

2 063 Kč

Porovnat nabídky

Applied RVE Reconstruction and Homogenization of Heterogeneous Materials - Remond, Yves (University of Strasbourg, France) a Ahzi, Said (Qatar Environment and Energy Research Institute (QEERI)) a Baniassadi, Majid (University of Tehran, Iran) a Garmestani, Hamid (Georgia Institute of Technology, USA)

4 082 Kč

Porovnat nabídky

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

Handbook of Research Methods for Studying Daily Life

3 438 Kč

Porovnat nabídky

Nanotechnology Research Methods for Food and Bioproducts - Padua, Graciela Wild a Wang, Qin

5 609 Kč

Porovnat nabídky

Construction and Cumulation of Knowledge in International Relations

1 144 Kč

Porovnat nabídky

Methods for Disaster Mental Health Research

1 687 Kč

Porovnat nabídky