Programs, Recursion and Unbounded Choice

Hesselink, Wim H.

Omschrijving

A complete account of the predicate transformation calculus semantics of sequential programs.
€ 57,50
Paperback
 
Gratis verzending vanaf
€ 19,95 binnen Nederland
Schrijver
Hesselink, Wim H.
Titel
Programs, Recursion and Unbounded Choice
Uitgever
Cambridge University Press
Jaar
2005
Taal
Engels
Pagina's
240
Gewicht
385 gr
EAN
9780521018296
Afmetingen
245 x 170 x 12 mm
Bindwijze
Paperback

U ontvangt bij ons altijd de laatste druk!


Rubrieken

Boekstra