SULJE VALIKKO

avaa valikko

Michael G. Hinchey | Akateeminen Kirjakauppa

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



Industrial-Strength Formal Methods in Practice
Michael G. Hinchey; Jonathan P. Bowen
Springer London Ltd (1999)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Innovative Concepts for Autonomic and Agent-Based Systems - Second International Workshop on Radical Agent Concepts, WRAC 2005,
Michael G. Hinchey; Patricia Rago; James L. Rash; Christopher A. Rouff; Walt Truszkowski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Approaches to Agent-Based Systems - Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, R
Michael G. Hinchey; James L. Rash; Walter F. Truszkowski; Christopher Rouff; Diana Gordon-Spears
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Approaches to Agent-Based Systems - Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised S
Michael G. Hinchey; James L. Rash; Walter F. Truszkowski; Christopher A. Rouff
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995
Jonathan P. Bowen; Michael G. Hinchey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1995)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
ZUM '98: The Z Formal Specification Notation - 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998,
Jonathan P. Bowen; Andreas Fett; Michael G. Hinchey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Approaches to Agent-Based Systems - First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised
James L. Rash; Christopher A. Rouff; Walter Truszkowski; Diana Gordon; Michael G. Hinchey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
ZUM'97: The Z Formal Specification Notation - 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedin
Jonathan P. Bowen; Michael G. Hinchey; David Till
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1997)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Software Engineering - 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Fl
Michael Butler; Michael G. Hinchey; Maria M. Larrondo-Petrie
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
High-Integrity System Specification and Design
Jonathan P. Bowen; Michael G. Hinchey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Industrial-Strength Formal Methods in Practice
129,90 €
Springer London Ltd
Sivumäärä: 400 sivua
Asu: Pehmeäkantinen kirja
Painos: 1999
Julkaisuvuosi: 1999, 17.09.1999 (lisätietoa)
Kieli: Englanti
Tuotesarja: Formal Approaches to Computing and Information Technology (FACIT)
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Industrial-Strength Formal Methods in Practicezoom
Näytä kaikki tuotetiedot
ISBN:
9781852336400
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste