SULJE VALIKKO

avaa valikko

CRAIGEN | Akateeminen Kirjakauppa

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



Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Dan Craigen; Susan Gerhart
William Andrew (1995)
Kovakantinen kirja
58,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Credu a Byw Ar Gyfer Manyleb B Cbac, Uned I, Ail Argraffiad
CRAIGEN; GAVIN; WHITE; JOY
Hodder Education (2009)
Pehmeäkantinen kirja
53,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
WJEC GCSE RS Spec B Teacher's Resource File Welsh Language Edition
Gavin Craigen; Joy White
Hodder Education (2010)
Kierreselkäinen
183,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Credu a Phrofi: Gwerslyfr ar Gyfer Manyleb B TGAU CBAC - Dewis B
Gavin Craigen; Joy White
Hodder Education (2005)
Pehmeäkantinen kirja
50,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Believing and Living: Unit 1, specification B
Gavin Craigen; Joy White
Hodder Education (2009)
Pehmeäkantinen kirja
53,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Believing and Experiencing - For WJEC Specification B, Unit 2
Gavin Craigen; Joy White
Hodder Education (2009)
Pehmeäkantinen kirja
53,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
CREDU A PHROFI
CRAIGEN; GAVIN; WHITE; JOY
HODDER EDUCATION (2009)
50,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Religion and Life Issues Revision Guide for WJEC GCSE Religious Studies Specification B, Unit 1
Gavin Craigen; Joy White
Hodder Education (2010)
Pehmeäkantinen kirja
33,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
RELIGION&HUMAN EXPERIENCE RE
Gavin Craigen
Hodder Education Group (2010)
Pehmeäkantinen kirja
39,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Teachers'Resource Pack
Gavin Craigen
BERTRAMS (2008)
Pehmeäkantinen kirja
57,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Practical Methods for Appraising Lands, Buildings and Improvements
George John Craigen
Nabu Press (2010)
Pehmeäkantinen kirja
51,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Practical Methods for Appraising Lands, Buildings and Improvements
George John Craigen
Nabu Press (2010)
Pehmeäkantinen kirja
51,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Ymdrin, Archwilio, Mynegi: Credu a Bod
Gavin Craigen; Philip Lord; Delyth Ifan
Centre for Educational Studies, University of Wales (2015)
Pehmeäkantinen kirja
32,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
What's This Got to Do with Anything?
Jim Craigen
Kagan Cooperative Learning (2004)
Pehmeäkantinen kirja
84,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Practical Methods for Appraising Lands, Buildings and Improvements
George John Craigen
Book on Demand Ltd. (2013)
80,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Trustworthy Computer Systems (FM89) - Report from FM89: A Workshop on the Assessment of Formal Methods for Tr
Dan Craigen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1990)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Believing and Being
Gavin Craigen; Philip Lord
Centre for Educational Studies, University of Wales (2015)
Pehmeäkantinen kirja
35,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Ffydd a Dilyn
Gavin Craigen; Philip Lord
Centre for Educational Studies, University of Wales (2015)
Pehmeäkantinen kirja
35,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Faith and Following
Gavin Craigen; Philip Lord
Centre for Educational Studies, University of Wales (2015)
Pehmeäkantinen kirja
35,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Addoli, Safbwyntiau'r Byd a Lles
Gavin Craigen; Philip Lord
Centre for Educational Studies, University of Wales (2016)
Pehmeäkantinen kirja
35,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
58,50 €
William Andrew
Sivumäärä: 318 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 1995, 12.02.1995 (lisätietoa)
Kieli: Englanti
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.

Loppuunmyyty
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systemszoom
Näytä kaikki tuotetiedot
ISBN:
9780815513629
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste