KIRJAUDU

ostoskori

avaa valikko

Bert Didier (ed.) | Akateeminen Kirjakauppa

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

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)
Pehmeäkantinen kirja

97,90 €

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)
Pehmeäkantinen kirja

49,60 €

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)
Pehmeäkantinen kirja

49,60 €

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)
Kovakantinen kirja

138,50 €

ENVIRONMENTAL CHEMISTRY : GREEN CHEMISTRY AND POLLUTANTS IN ECOSYSTEMS

Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2010)
Pehmeäkantinen kirja

172,80 €

POLLUTANTS IN BUILDINGS, WATER AND LIVING ORGANISMS

Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2015)
Kovakantinen kirja

97,90 €

HYDROGEN PRODUCTION AND REMEDIATION OF CARBON AND POLLUTANTS

Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2015)
Kovakantinen kirja

97,90 €

GREEN MATERIALS FOR ENERGY, PRODUCTS AND DEPOLLUTION

Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2016)
Pehmeäkantinen kirja

97,90 €

POLLUTANT DISEASES, REMEDIATION AND RECYCLING

Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2016)
Pehmeäkantinen kirja

129,90 €

POLLUTANTS IN BUILDINGS, WATER AND LIVING ORGANISMS

Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2016)
Pehmeäkantinen kirja

97,90 €

HYDROGEN PRODUCTION AND REMEDIATION OF CARBON AND POLLUTANTS

Eric Lichtfouse (ed.); Jan Schwarzbauer (ed.); Didier Robert (ed.)
Springer (2016)
Pehmeäkantinen kirja

97,90 €

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)
Pehmeäkantinen kirja

49,60 €

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)
Pehmeäkantinen kirja

138,50 €

Hae lisää...

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.)

97,90 €

Springer
Sivumäärä: 554 sivua
Asu: Pehmeäkantinen kirja
Painos: 2003
Julkaisuvuosi: 2003, 20.05.2003 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 2651

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus