Erik de Vink | Akateeminen Kirjakauppa

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

CONTROL FLOW SEMANTICS

Tekijä: J. W. de Bakker; Erik P. de Vink
Kustantaja: MIT Press Ltd (1996)
Saatavuus: Ei tiedossa

EUR 96,60

TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XIII

Tekijä: Ralph-Johan Back (ed.); Ion Petre (ed.); Erik de Vink (ed.)
Kustantaja: Springer (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XIV - SPECIAL ISSUE ON COMPUTATIONAL MODELS FOR CELL PROCESSES

Tekijä: Ion Petre; Erik de Vink
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

CONTROL FLOW SEMANTICS

Tekijä: J. W. De Bakker; Erik P. De Vink
Kustantaja: MIT Press (1996)
Saatavuus: Ei tiedossa

EUR 84,20

FORMAL METHODS FOR DYNAMICAL SYSTEMS - 13TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION, AN

Tekijä: Marco Bernardo; Erik de Vink; Alessandra Di Pierro; Herbert Wiklicky
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 45,80

FORMAL METHODS - 22ND INTERNATIONAL SYMPOSIUM, FM 2018, HELD AS PART OF THE FEDERATED LOGIC CONFERENCE, FLOC 2018, OXFORD, UK, J

Tekijä: Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink
Kustantaja: Springer International Publishing AG (2018)
Saatavuus: Noin 17-20 arkipäivää

EUR 88,20

Control Flow Semantics

J. W. de Bakker, Erik P. de Vink

96,60 €