Ergebnisse filtern
-
- 3
-
- 1
- 1
- 1
-
- 3
- 1
- 1
- 1
- 1
-
- 1
- 2
-
- 2
- 1
-
- 2
- 1
-
- 3
-
- 3
- 1
Miquel Bertran
-
Naftalin / Bertran / Denvir FME '94: Industrial Benefit of Formal Methods
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58555-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bertran / Papoulis Sistemas y circuitos : digitales y analógicos
Erscheinungsjahr 1989Verlag: MarcomboISBN: 978-84-267-0736-9Medium: Buch80,56 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rus / Bertran Transformation-Based Reactive Systems Development
4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63010-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort