SULJE VALIKKO

avaa valikko

Didier Bert (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 13 tuotetta
Haluatko tarkentaa hakukriteerejä?



B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April
Bert Didier (ed.)
Springer (1998)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June
Didier Bert (ed.); Jonathan P. Bowen (ed.); Steve King (ed.); Marina Waldén (ed.)
Springer (2003)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 19
Didier Bert (ed.); Christine Choppy (ed.); Peter Mosses (ed.)
Springer (2000)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
ZB 2002: Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, Janua
Didier Bert (ed.); Jonathan P. Bowen (ed.); Martin C. Henson (ed.); Ken Robinson (ed.)
Springer (2002)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Environmental Chemistry : Green Chemistry and Pollutants in Ecosystems
Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Pollutants in Buildings, Water and Living Organisms
Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2015)
Saatavuus: Tilaustuote
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hydrogen Production and Remediation of Carbon and Pollutants
Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2015)
Saatavuus: Tilaustuote
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Green Materials for Energy, Products and Depollution
Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Pollutant Diseases, Remediation and Recycling
Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Pollutants in Buildings, Water and Living Organisms
Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hydrogen Production and Remediation of Carbon and Pollutants
Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Multiple Scattering Theory for Spectroscopies : A Guide to Multiple Scattering Computer Codes -- Dedicated to C. R. Natoli on th
Didier Sébilleau (ed.); Keisuke Hatada (ed.); Hubert Ebert (ed.)
Springer (2018)
Saatavuus: Tilaustuote
Kovakantinen kirja
138,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Multiple Scattering Theory for Spectroscopies : A Guide to Multiple Scattering Computer Codes -- Dedicated to C. R. Natoli on th
Didier Sébilleau (ed.); Keisuke Hatada (ed.); Hubert Ebert (ed.)
Springer (2018)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
138,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April
49,60 €
Springer
Sivumäärä: 320 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998
Julkaisuvuosi: 1998, 08.04.1998 (lisätietoa)
Kieli: Englanti
This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 14-17 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, Aprilzoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste