SULJE VALIKKO

avaa valikko

Jean Aymon | Akateeminen Kirjakauppa

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



Modeling in Event-B: System and Software Engineering
Jean-Raymond Abrial
Cambridge University Press (2010)
Kovakantinen kirja
134,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
UN RETRATO DEL MARQUES DE SADE (B)
RAYMOND JEAN
GEDISA (2000)
Pehmeäkantinen kirja
18,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Reader for Hire
Raymond Jean
Peirene Press Ltd (2015)
Pehmeäkantinen kirja
13,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mademoiselle Bovary
Raymond Jean
Editions Flammarion (2015)
Pehmeäkantinen kirja
33,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Little Blue Whistle - Whistle
Jean Raymond
AuthorHouse (2008)
Pehmeäkantinen kirja
39,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Annual Review of Earth and Planetary Sciences Vol 37
Raymond Ed Jeanloz
ANNUAL REVIEWS (2009)
Kovakantinen kirja
663,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Annual Review of Earth and Planetary Sciences
Raymond Jeanolz
ANNUAL REVIEWS (2004)
Kovakantinen kirja
540,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Industrial Applications - Specifying and Programming the Steam Boiler Control
Jean-Raymond Abrial; Egon Börger; Hans Langmaack
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A King's Mistress or Charles VII and Agnes Sorel and Chivalry in the XV Century
Capefigue (Jean Baptiste Honor Raymond)
BiblioLife (2009)
Pehmeäkantinen kirja
51,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A King's Mistress, Or, Charles VII and Agnes Sorel and Chivalry in the XV. Century
Capefigue (Jean Baptiste Honor Raymond)
BiblioLife (2009)
Kovakantinen kirja
67,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Encyclopedie Elementaire V2, Part 1: Ou Introduction A L'Etude Des Lettres, Des Sciences Et Des Arts (1767)
Jean Raymond De Petity
KESSINGER PUB CO (2009)
Pehmeäkantinen kirja
58,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monumens Authentiques de La Religion Des Grecs, Et de La Faussete (1708)
Jean Aymon
KESSINGER PUB CO (2009)
Pehmeäkantinen kirja
60,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Histoire Du Siege de Missolonghi: Suivie de Pieces Justificatives (1827)
Auguste Jean Raymond Fabre
KESSINGER PUB CO (2009)
Pehmeäkantinen kirja
43,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Histoire Du Siege de Missolonghi: Suivie de Pieces Justificatives (1827)
Auguste Jean Raymond Fabre
KESSINGER PUB CO (2009)
Kovakantinen kirja
86,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rigorous Methods for Software Construction and Analysis - Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Jean-Raymond Abrial; Uwe Glässer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Influence Des Forets Et Des Accidents Du Sol Sur Les Orages a Grele (1893)
Jean-Raymond Plumandon
KESSINGER PUB CO (2009)
Pehmeäkantinen kirja
24,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Encyclopedie Elementaire V2, Part 1: Ou Introduction A L'Etude Des Lettres, Des Sciences Et Des Arts (1767)
Jean Raymond De Petity
KESSINGER PUB CO (2010)
Kovakantinen kirja
98,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monumens Authentiques de La Religion Des Grecs, Et de La Faussete (1708)
Jean Aymon
KESSINGER PUB CO (2010)
Kovakantinen kirja
98,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Influence Des Forets Et Des Accidents Du Sol Sur Les Orages a Grele (1893)
Jean-Raymond Plumandon
KESSINGER PUB CO (2010)
Kovakantinen kirja
63,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modeling in Event-B: System and Software Engineering
134,80 €
Cambridge University Press
Sivumäärä: 612 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2010, 13.05.2010 (lisätietoa)
Kieli: Englanti
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

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
Modeling in Event-B: System and Software Engineeringzoom
Näytä kaikki tuotetiedot
ISBN:
9780521895569
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste