M. Broy
15 published titles
Theoretical foundations of programming methodology : lecture notes of an international summer school directed by F.L. Bauer, E.W. Dykstra and C.A.R. Hoare
(Contributor)
1 edition
- ISBN: 9027714606
- Reidel published in cooperation with NATO Scientific Affairs Division
- 1982
- Details
Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on programming concepts and methods, Sea of Galilee, Israel, 2-5 April, 1990
(Contributor)
1 edition
- ISBN: 0444885455
- North-Holland
- 1990
- Details
Programming and mathematical method : international summer school
(Contributor)
1 edition
- ISBN: 0387555587
- Springer-Verlag in cooperation with NATO Scientific Affairs Division
- 1992
- Details
Program design calculi
(Contributor)
1 edition
- ISBN: 354056943X
- Springer-Verlag in cooperation with NATO Scientific Affairs Division
- 1993
- Details
Deductive program design
(Contributor)
1 edition
- ISBN: 3540609474
- Springer
- 1996
- Details
Mathematical methods in program development
(Contributor)
1 edition
- ISBN: 354063195X
- Springer
- 1997
- Details
Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540653090
- Springer
- 1998
- Details
Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings
(Contributor)
1 edition
- ISBN: 3540671021
- Springer
- 2000
- Details
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
(Contributor)
1 edition
- ISBN: 354043075X
- Springer
- 2001
- Details
Specification and development of interactive systems : focus on streams, interfaces, and refinement
1 edition
- ISBN: 0387950737
- Springer
- 2001
- Details
Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers
(Contributor)
1 edition
- ISBN: 3540208135
- Springer
- 2003
- Details
Engineering theories of software intensive systems
(Contributor)
1 edition
- ISBN: 9781402035326
- Springer
- 2005
- Details
Model-based testing of reactive systems : advanced lectures
(Contributor)
1 edition
- ISBN: 9783540262787
- Springer
- 2005
- Details
Automotive software - connected services in mobile networks : first Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 ; revised selected papers
(Contributor)
1 edition
- ISBN: 9783540376774
- Springer
- 2006
- Details
Software system reliability and security
(Contributor)
1 edition
- ISBN: 9781586037314
- IOS Press
- 2007
- Details