Ergebnisse filtern
-
- 11
- 8
-
- 1
- 11
- 7
-
- 15
- 4
-
- 19
-
- 19
-
- 19
-
Hinchey / Bowen High-Integrity System Specification and Design
Softcover Nachdruck of the original 1. Auflage 1999Verlag: SpringerISBN: 978-3-540-76226-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Bowen ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60271-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Bowen Industrial-Strength Formal Methods in Practice
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0523-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Hinchey High-Integrity System Specification and Design
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3431-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Dean / Hinchey Teaching and Learning Formal Methods
Erscheinungsjahr 1996Verlag: MORGAN KAUFMANN PUBL INCISBN: 978-0-12-349040-7Medium: Buch123,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Hinchey Industrial-Strength Formal Methods in Practice
1999Verlag: SpringerISBN: 978-1-85233-640-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-540-49676-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Till / Hinchey ZUM'97: The Z Formal Specification Notation
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62717-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Hinchey / Fett ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65070-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-76650-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76648-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Rouff / Rash Formal Approaches to Agent-Based Systems
Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24422-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Rash / Truszkowski Formal Approaches to Agent-Based Systems
Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers2005Verlag: SpringerISBN: 978-3-540-30960-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Rash / Rouff / Hinchey Formal Approaches to Agent-Based Systems
First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42716-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Rago / Truszkowski Innovative Concepts for Autonomic and Agent-Based Systems
Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69265-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Rago / Rash Innovative Concepts for Autonomic and Agent-Based Systems
Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers2006Verlag: SpringerISBN: 978-3-540-69266-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Hinchey / Rash / Truszkowski Formal Approaches to Agent-Based Systems
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers2003Verlag: SpringerISBN: 978-3-540-45133-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Hinchey / Rash / Gordon-Spears Formal Approaches to Agent-Based Systems
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40665-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rash / Rouff / Truszkowski Formal Approaches to Agent-Based Systems
First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers2001Verlag: SpringerISBN: 978-3-540-45484-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort