Johan Jeuring (ed.) | Akateeminen Kirjakauppa

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

MATHEMATICS OF PROGRAM CONSTRUCTION : 4TH INTERNATIONAL CONFERENCE, MPC'98, MARSTRAND, SWEDEN, JUNE 15-17, 1998, PROCEEDINGS

Johan Jeuring (ed.)
Springer (1998)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

ADVANCED FUNCTIONAL PROGRAMMING : 4TH INTERNATIONAL SCHOOL, AFP 2002, OXFORD, UK, AUGUST 19-24, 2002, REVISED LECTURES

Johan Jeuring (ed.); Simon Peyton Jones (ed.)
Springer (2003)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

INTELLIGENT COMPUTER MATHEMATICS : 11TH INTERNATIONAL CONFERENCE, AISC 2012, 19TH SYMPOSIUM, CALCULEMUS 2012, 5TH INTERNATIONAL

Johan Jeuring (ed.); John Campbell (ed.); Jacques Carette (ed.); Gabriel Dos Reis (ed.); Petr Sojka (ed.); Makarius Wenzel
Springer (2012)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

GENERIC PROGRAMMING : IFIP TC2 / WG2.1 WORKING CONFERENCE PROGRAMMING JULY 11–12, 2002, DAGSTUHL, GERMANY

Jeremy Gibbons (ed.); Johan Jeuring (ed.)
Springer (2003)
Saatavuus: Tilaustuote
Kovakantinen kirja

97,90 €

GENERIC PROGRAMMING : IFIP TC2 / WG2.1 WORKING CONFERENCE PROGRAMMING JULY 11–12, 2002, DAGSTUHL, GERMANY

Jeremy Gibbons (ed.); Johan Jeuring (ed.)
Springer (2013)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

GAMES AND LEARNING ALLIANCE : 5TH INTERNATIONAL CONFERENCE, GALA 2016, UTRECHT, THE NETHERLANDS, DECEMBER 5–7, 2016, PROCEEDINGS

Rosa Bottino (ed.); Johan Jeuring (ed.); Remco C. Veltkamp (ed.)
Springer (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Mathematics of Program Construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings

Johan Jeuring (ed.)

49,60 €

Springer
Sivumäärä: 388 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998
Julkaisuvuosi: 1998, 27.05.1998 (lisätietoa)
Kieli: Englanti

This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus