1.
 |  | Title: Software Pioneers
by Manfred Broy, Ernst Denert
ISBN: 3540430814
Publisher: Springer Verlag
Pub. Date: 11 August, 2002
List Price: $79.95
Amazon.com Price: $63.96 |
2.
|  | Title: Engineering Theories of Software Construction (NATO Science Series. Series Iii, Computer and Systems Sciences, 180)
by T. Hoare, Manfred Broy, Ralf Steinbruggen, NATO Advanced Study Institute on Engineering Theories of Software Cons
ISBN: 1586031724
Publisher: IOS Press
Pub. Date: June, 2001
List Price: $116.00
Amazon.com Price: $116.00 |
3.
|  | Title: Models, Algebras and Logic of Engineering Software
by Manfred Broy, Markus Pizka
ISBN: 1586033425
Publisher: IOS Press
Pub. Date: August, 2003
List Price: $116.00
Amazon.com Price: $116.00 |
4.
|  | Title: Persectives on System Informatics: Revised Papers of the 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 (Lecture Notes in Computer Science, 2244)
by Dines Bjorner, Manfred Broy, Alexandre V. Zamulin
ISBN: 354043075X
Publisher: Telos Pr
Pub. Date: April, 2002
List Price: $94.00
Amazon.com Price: $94.00 |
5.
|  | Title: Korso: Methods, Languages and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science, 1009)
by Manfred Broy, Stefan Jahnichen
ISBN: 3540605894
Publisher: Springer Verlag
Pub. Date: November, 1995
List Price: $98.00
Amazon.com Price: $98.00 |
6.
|  | Title: Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia June 25-28, 1996: Proceedings (Lecture Notes in Computer Science, 1181)
by Dines Bjorner, Manfred Broy, Igor V. Pottosin, D. Bjrner
ISBN: 3540620648
Publisher: Springer Verlag
Pub. Date: April, 1997
List Price: $98.00
Amazon.com Price: $98.00 |
7.
|  | Title: Deductive Program Design (NATO Asi Series. Series F, Computer and Systems Sciences, No. 152.)
by M. Broy, North Atlantic Treaty Organization Scientific Affairs Division, Manfred NATO Advanced Study Institute on Deductive Program Design (1994 Markt (Cor)/ Broy
ISBN: 3540609474
Publisher: Springer Verlag
Pub. Date: May, 2002
List Price: $175.00
Amazon.com Price: $175.00 |
8.
|  | Title: Theoretical Foundations of Programming Methodology
by Manfred Broy
ISBN: 9027714606
Publisher: D Reidel Pub Co
Pub. Date: December, 1982
List Price: $211.50
Amazon.com Price: $211.50 |
9.
|  | Title: Formal Systems Specification: The Rpc-Memory Specification Case Study (Lecture Notes in Computer Science, Vol 1169)
by Manfred Broy, Stephan Merz, Katharina Spies
ISBN: 3540619844
Publisher: Springer Verlag
Pub. Date: February, 1997
List Price: $99.00
Amazon.com Price: $99.00 |
10.
|  | Title: Mathematical Methods in Program Development (NATO Asi Series. Series F, Computer and Systems Sciences, Vol 158)
by Manfred Broy, Birgit Schieder
ISBN: 354063195X
Publisher: Springer Verlag
Pub. Date: November, 1997
List Price: $159.00
Amazon.com Price: $159.00 |
