SULJE VALIKKO

avaa valikko

Wim H. Hesselink | Akateeminen Kirjakauppa

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



Programs, Recursion and Unbounded Choice
Wim H. Hesselink
Cambridge University Press (2005)
Pehmeäkantinen kirja
54,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Programs, Recursion and Unbounded Choice
Wim H. Hesselink
Cambridge University Press (1992)
Kovakantinen kirja
125,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Algebraic Groups. Utrecht 1986 : Proceedings of a Symposium in Honour of T.A. Springer
Arjeh M. Cohen (ed.); Wim H. Hesselink (ed.); Wilberd L.J. van der Kallen (ed.); Jan R. Strooker (ed.)
Springer (1987)
Pehmeäkantinen kirja
35,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Programs, Recursion and Unbounded Choice
54,30 €
Cambridge University Press
Sivumäärä: 240 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2005, 22.08.2005 (lisätietoa)
Kieli: Englanti
This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Programs, Recursion and Unbounded Choice
Näytä kaikki tuotetiedot
ISBN:
9780521018296
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste