KIRJAUDU

ostoskori

avaa valikko

Michael Hinchey | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 14 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

51,40 €

INDUSTRIAL-STRENGTH FORMAL METHODS IN PRACTICE

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

134,60 €

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

51,40 €

FORMAL APPROACHES TO AGENT-BASED SYSTEMS : SECOND INTERNATIONAL WORKSHOP, FAABS 2002, GREENBELT, MD, USA, OCTOBER 29-31, 2002, R

Michael G. Hinchey (ed.); James L. Rash (ed.); Walter F. Truszkowski (ed.); Christopher Rouff (ed.); Diana (e Gordon-Spears
Springer (2003)
Pehmeäkantinen kirja

51,40 €

FORMAL APPROACHES TO AGENT-BASED SYSTEMS : THIRD INTERNATIONAL WORKSHOP, FAABS 2004, GREENBELT, MD, APRIL 26-27, 2004, REVISED S

Michael G. Hinchey (ed.); James L. Rash (ed.); Walter F. Truszkowski (ed.); Christopher A. Rouff (ed.)
Springer (2005)
Pehmeäkantinen kirja

51,40 €

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

196,80 €

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

101,40 €

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

51,40 €

FORMAL APPROACHES TO AGENT-BASED SYSTEMS : FIRST INTERNATIONAL WORKSHOP, FAABS 2000 GREENBELT, MD, USA, APRIL 5-7, 2000 REVISED

James L. Rash (ed.); Christopher A. Rouff (ed.); Walter Truszkowski (ed.); Diana Gordon (ed.); Michael G. Hinchey (ed.)
Springer (2001)
Pehmeäkantinen kirja

51,40 €

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

51,40 €

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

196,80 €

HIGH-INTEGRITY SYSTEM SPECIFICATION AND DESIGN

Jonathan P. Bowen; Michael G. Hinchey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja

51,40 €

ARTIFICIAL INTELLIGENCE AND ITS APPLICATIONS : FIRST INTERNATIONAL CONFERENCE, ICAIA 2023, PUNE, INDIA, DECEMBER 18-19, 2023, PR

Anish Gupta (ed.); Michael Hinchey (ed.); Zeev Zalevsky (ed.)
Springer (2025)
Pehmeäkantinen kirja

76,40 €

ARTIFICIAL INTELLIGENCE AND ITS APPLICATIONS : FIRST INTERNATIONAL CONFERENCE, ICAIA 2023, PUNE, INDIA, DECEMBER 18-19, 2023, PR

Anish Gupta (ed.); Michael Hinchey (ed.); Zeev Zalevsky (ed.)
Springer (2025)
Pehmeäkantinen kirja

71,40 €

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

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 387 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007 ed.
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

Myymäläsaatavuus