Bernhard Möller (ed.) | Akateeminen Kirjakauppa

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

MATHEMATICS OF PROGRAM CONSTRUCTION : THIRD INTERNATIONAL CONFERENCE, MPC '95, KLOSTER IRSEE, GERMANY, JULY 17 - 21, 1995. PROCE

Tekijä: Möller; Bernhard (ed.)
Kustantaja: Springer (1995)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

PROSPECTS FOR HARDWARE FOUNDATIONS : ESPRIT WORKING GROUP 8533 NADA — NEW HARDWARE DESIGN METHODS SURVEY CHAPTERS

Tekijä: Bernhard Möller (ed.); John V. Tucker (ed.)
Kustantaja: Springer (1998)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING : FIRST INTERNATIONAL WORKSHOP, HOA '93, AMSTERDAM, THE NETHERLANDS, SEPTEMBER 2

Tekijä: Jan Heering (ed.); Karl Meinke (ed.); Bernhard Möller (ed.); Tobias Nipkow (ed.)
Kustantaja: Springer (1994)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE : 7TH INTERNATIONAL SEMINAR ON RELATIONAL METHODS IN COMPUTER SCIENC

Tekijä: R. Berghammer (ed.); Bernhard Möller (ed.); Georg Struth (ed.)
Kustantaja: Springer (2004)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING : SECOND INTERNATIONAL WORKSHOP, HOA '95, PADERBORN, GERMANY, SEPTEMBER 1995. SE

Tekijä: Gilles Dowek (ed.); Jan Heering (ed.); Karl Meinke (ed.); Bernhard Möller (ed.)
Kustantaja: Springer (1996)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

MATHEMATICS OF PROGRAM CONSTRUCTION : 6TH INTERNATIONAL CONFERENCE, MPC 2002, DAGSTUHL CASTLE, GERMANY, JULY 8-10, 2002. PROCEED

Tekijä: Eerke A. Boiten (ed.); Bernhard Möller (ed.)
Kustantaja: Springer (2002)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE : 10TH INTERNATIONAL CONFERENCE ON RELATIONAL METHODS IN COMPUTER SCIENCE, AND

Tekijä: Rudolf Berghammer (ed.); Bernhard Möller (ed.); Georg Struth (ed.)
Kustantaja: Springer (2008)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Mathematics of Program Construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proce

Möller, Bernhard (ed.)

49,60 €

Springer
Sivumäärä: 479 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995
Julkaisuvuosi: 1995, 10.07.1995 (lisätietoa)
Kieli: Englanti

This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.
Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus