Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-49 of 49 results for author "Broy, M., 1949-"
Control flow and data flow : concepts of distributed programming : international summer school, directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 85-1843 Offsite Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 88-50 Offsite Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 89-1722 Offsite Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-1053 Offsite Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-132 Offsite Program design calculi / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-651 Offsite Programming and mathematical method / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1323 Offsite KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, eds.
- Text
- Berlin ; New York : Springer, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 96-107 Offsite Deductive program design / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1184 Offsite Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings / Dines Bjørner, Manfred Broy, Igor V. V. Pottosin (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 97-116 Offsite Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 97-167 Offsite Mathematical methods in program development / edited by Manfred Broy, Birgit Schieder.
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-1665 Offsite Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy, Bernhard Rumpe, eds.
- Text
- Berlin ; New York : Springer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 99-120 Offsite Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).
- Text
- Berlin ; New York : Springer, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-725 Offsite Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
- Text
- Berlin : London : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 02-283 Offsite Calculational system design / edited by Manfred Broy and Ralf Steinbrüggen.
- Text
- Amsterdam ; Washington, DC : IOS Press, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 04-36 Offsite Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers / Manfred Broy, Alexandre V. Zamulin (eds.).
- Text
- Berlin ; New York : Springer, 2003.
- 2003
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2890Item details Format Call Number Item Location Text JSE 04-357 Offsite Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .M4543 1991 Off-site Program construction : international summer school / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy.
- Text
- Berlin ; New York : Springer-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .P75117 Off-site Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .F577 1993 Off-site Program design calculi / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 P765 1993 Off-site Programming and mathematical method / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .P75137 1992 Off-site KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, eds.
- Text
- Berlin ; New York : Springer, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 K67 1995 Off-site Deductive program design / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 D38 1996 Off-site Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 F67 1996g Off-site Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings / Dines Bjørner, Manfred Broy, Igor V. V. Pottosin (eds.).
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .A454 1996 Off-site Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy, Bernhard Rumpe, eds.
- Text
- Berlin ; New York : Springer, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I578 1997 Off-site Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).
- Text
- New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76 .I497 2000 Off-site Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
- Text
- Berlin ; New York : Springer, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .A454 2001g Off-site Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers / Manfred Broy, Alexandre V. Zamulin (eds.).
- Text
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .I56 2003g Off-site Model-based testing of reactive systems : advanced lectures / Manfred Broy [and others] (eds.).
- Text
- Berlin : Springer, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text QA76.76.T48 M644 2005g Off-site Engineering theories of software intensive systems / edited by Manfred Broy [and others].
- Text
- Dordrecht, The Netherlands ; [Great Britain] : Springer, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .N385 2004 Off-site Automotive software : connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers / Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.).
- Text
- Berlin ; New York : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Text TL272.53 .A9876 2004g Off-site Model-driven development of reliable automotive services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 : revised selected papers / Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.).
- Text
- Berlin ; New York : Springer, [2008], ©2008.
- 2008-2008
- 1 Item
Item details Format Call Number Item Location Text TL272.53 .A9876 2006g Off-site Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, [1987], ©1987.
- 1987-1987
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .N38 1986 Off-site Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, [1989], ©1989.
- 1989-1989
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .N383 1988 Off-site 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 / edited by M. Broy, C.B. Jones.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Elsevier Science Pub. Co., distributors for the U.S. and Canada, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .I26 1990 Off-site Software pioneers : contributions to software engineering / Manfred Broy, Ernst Denert, (eds.).
- Text
- Berlin ; New York : Springer, 2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text QA76.2.A2 S62 2002 Off-site Not available - Please for assistance.Informatikforschung in Deutschland / Bernd Reuse, Roland Vollmar, Herausgeber ; mit Beiträgen von Manfred Broy ... [et al.].
- Text
- Berlin ; New York : Springer, c2008.
- 2008
KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, eds.
- Text
- Berlin ; New York : Springer, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 K67 1995 Off-site Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text TK7895.M4 F675 1996 Off-site Program construction : international summer school / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy.
- Text
- Berlin ; New York : Springer-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA76.6.P75117 Off-site Control flow and data flow : concepts of distributed programming : international summer school, directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy.
- Text
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 N375 1984 Off-site Software pioneers : contributions to software engineering / Manfred Broy, Ernst Denert, eds.
- Text
- Berlin ; New York : Springer, 2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text QA76.2.A2 S62 2002 Off-site Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).
- Text
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.6.M4543 1991 Off-site Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare / lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt.
- Text
- Dordrecht, Holland ; Boston : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .T446 1982 Off-site Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text TK7895.M4 F675 1996 Off-site Control flow and data flow : concepts of distributed programming : international summer school, directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy.
- Text
- Berlin ; New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 N375 1984 Off-site Software pioneers : contributions to software engineering / Manfred Broy, Ernst Denert, eds.
- Text
- Berlin ; New York : Springer, 2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text QA76.2.A2 S62 2002 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta