1
- Hinchey, Michael G. - -
120.89 €
Hinchey, Michael G. - Industrial-strength Formal Methods In Practice (formal Approaches To Computing And Information Technology (facit))
MEDIMOPS
Brand: Hinchey, Michael G. -
EAN:
9781852336400MPN: m01852336404
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 1999, Label : Springer, Publisher : Springer, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 420, publicationDate : 2013-10-04, releaseDate : 2013-10-04, authors : Hinchey, Michael G., ISBN : 1852336404
Preise vergleichen ab:
Hinchey, Michael G. - in Bücher & Zeitschriften 2
- Hinchey, Michael G. - -
53.49 €
Hinchey, Michael G. - Formal Approaches To Agent-based Systems: Third International Workshop, Faabs 2004, Greenbelt, Md, April 26-27, 2004, Revised Selected Papers (lecture Notes In Computer Science, Band 3228)
MEDIMOPS
Brand: Hinchey, Michael G. -
EAN:
9783540244226MPN: m03540244220
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2005, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 304, publicationDate : 2005-01-31, releaseDate : 2005-01-31, publishers : Hinchey, Michael G., Rash, James L., Truszkowski, Walter F., Rouff, Christopher A., ISBN : 3540244220
Preise vergleichen ab:
Hinchey, Michael G. - in Bücher & Zeitschriften 3
- Bowen, Jonathan P. - -
97.98 €
Bowen, Jonathan P. - Zum '95: The Z Formal Specification Notation: 9th International Conference Of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (lecture Notes In Computer Science, 967, Band 967)
MEDIMOPS
Brand: Bowen, Jonathan P. -
EAN:
9783540602712MPN: m03540602712
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 1995, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 596, publicationDate : 2008-06-13, authors : Bowen, Jonathan P., Hinchey, Michael G., ISBN : 3540602712
Preise vergleichen ab:
Bowen, Jonathan P. - in Bücher & Zeitschriften 4
- Walter Truszkowski - -
53.49 €
Walter Truszkowski - Formal Approaches To Agent-based Systems: First International Workshop, Faabs 2000 Greenbelt, Md, Usa, April 5-7, 2000 Revised Papers (lecture Notes In Computer Science, 1871, Band 1871)
MEDIMOPS
Brand: Walter Truszkowski -
EAN:
9783540427162MPN: m03540427163
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2001, Label : Springer, Publisher : Springer, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 384, publicationDate : 2008-06-13, authors : Walter Truszkowski, Hinchey, Michael G., Rouff, Christopher A., Rash, James L., Diana Gordon, ISBN : 3540427163
Preise vergleichen ab:
Walter Truszkowski - in Bücher & Zeitschriften 5
- Bowen, Jonathan P. - -
53.49 €
Bowen, Jonathan P. - Zum '98: The Z Formal Specification Notation: 11th International Conference Of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (lecture Notes In Computer Science)
MEDIMOPS
Brand: Bowen, Jonathan P. -
EAN:
9783540650706MPN: m03540650709
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 440, publicationDate : 2008-06-13, authors : Bowen, Jonathan P., Andreas Fett, Hinchey, Michael G., languages : english, ISBN : 3540650709
Preise vergleichen ab:
Bowen, Jonathan P. - in Bücher & Zeitschriften 6
- Bowen, Jonathan P. - -
53.49 €
Bowen, Jonathan P. - Zum'97: The Z Formal Specification Notation: 10th International Conference Of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings (lecture Notes In Computer Science)
MEDIMOPS
Brand: Bowen, Jonathan P. -
EAN:
9783540627173MPN: m03540627170
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1997, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 452, publicationDate : 2008-06-13, authors : Bowen, Jonathan P., David Till, Hinchey, Michael G., languages : english, ISBN : 3540627170
Preise vergleichen ab:
Bowen, Jonathan P. - in Bücher & Zeitschriften 7
- Diana Gordon-spears - -
53.49 €
Diana Gordon-spears - Formal Approaches To Agent-based Systems: Second International Workshop, Faabs 2002, Greenbelt, Md, Usa, October 29-31, 2002, Revised Papers (lecture Notes In Computer Science, 2699, Band 2699)
MEDIMOPS
Brand: Diana Gordon-spears -
EAN:
9783540406655MPN: m03540406654
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 296, publicationDate : 2008-06-13, authors : Diana Gordon-Spears, Christopher Rouff, Truszkowski, Walter F., Hinchey, Michael G., Rash, James L., ISBN : 3540406654
Preise vergleichen ab:
Diana Gordon-spears - in Bücher & Zeitschriften