SULJE VALIKKO

avaa valikko

J. M. Spivey | Akateeminen Kirjakauppa

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



Understanding Z: A Specification Language and its Formal Semantics
J. M. Spivey
Cambridge University Press (2008)
Pehmeäkantinen kirja
45,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Catalysis - Volume 20
K M Dooley; James J Spivey
Royal Society of Chemistry (2007)
Kovakantinen kirja
424,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Catalysis - Volume 21
James J Spivey; K M Dooley
Royal Society of Chemistry (2009)
Kovakantinen kirja
454,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Catalysis - Volume 19
K M Dooley; James J Spivey
Royal Society of Chemistry (2006)
Kovakantinen kirja
424,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Catalysis - Volume 22
James J Spivey; K M Dooley
Royal Society of Chemistry (2010)
Kovakantinen kirja
454,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Catalysis - Volume 23
James J Spivey (toim.); K M Dooley (toim.)
Royal Society of Chemistry (2011)
Kovakantinen kirja
454,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Catalysis - Volume 25
James J Spivey; K M Dooley; Yi-Fan Han
Royal Society of Chemistry (2013)
Kovakantinen kirja
477,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Catalysis - Volume 26
James J Spivey; K M Dooley; Yi-Fan Han
Royal Society of Chemistry (2014)
Kovakantinen kirja
477,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Understanding Z
J.M. Spivey
Cambridge University Press (1988)
Kovakantinen kirja
88,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Catalysis - Volume 28
James J Spivey (toim.); K M Dooley (toim.); Yi-Fan Han (toim.)
Royal Society of Chemistry (2016)
Kovakantinen kirja
477,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Understanding Z: A Specification Language and its Formal Semantics
45,40 €
Cambridge University Press
Sivumäärä: 140 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2008, 21.01.2008 (lisätietoa)
Kieli: Englanti
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Understanding Z: A Specification Language and its Formal Semanticszoom
Näytä kaikki tuotetiedot
ISBN:
9780521054140
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste