KIRJAUDU

ostoskori

avaa valikko

Michael Hinchey | Akateeminen Kirjakauppa

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

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 €

INDUSTRIAL-STRENGTH FORMAL METHODS IN PRACTICE

Michael G. Hinchey; Jonathan P. Bowen
Springer London Ltd (1999)
Pehmeäkantinen kirja

129,90 €

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 €

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 €

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 €

AUTONOMOUS AND AUTONOMIC SYSTEMS: WITH APPLICATIONS TO NASA INTELLIGENT SPACECRAFT OPERATIONS AND EXPLORATION SYSTEMS

Walt Truszkowski; Harold Hallock; Christopher Rouff; Jay Karlin; James Rash; Michael Hinchey; Roy Sterritt
Springer London Ltd (2009)
Kovakantinen kirja

190,00 €

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 €

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 €

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 €

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 €

AUTONOMOUS AND AUTONOMIC SYSTEMS: WITH APPLICATIONS TO NASA INTELLIGENT SPACECRAFT OPERATIONS AND EXPLORATION SYSTEMS

Walt Truszkowski; Harold Hallock; Christopher Rouff; Jay Karlin; James Rash; Michael Hinchey; Roy Sterritt
Springer London Ltd (2012)
Pehmeäkantinen kirja

190,00 €

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 €

Hae lisää...

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

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 387 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 07.11.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus