It looks like you're offline.

Last edited by LC Bot

February 1, 2012 | History

Edit

M. Broy

We need a photo of M. Broy

Born

1949

19 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Preview

Preview Book
×Close

Formal methods in programming and their applications: international conference, Academgorodok, Russia, June/July 1993 : proceedings

by D. Bjørner and M. Broy First published in 1993 — 3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science)

by M. Broy and M. Wirsing First published in 1991 — 3 editions

Locate

My Reading Lists:

Create a new list
Programming and mathematical method

by M. Broy First published in 1992 — 2 editions

Locate

My Reading Lists:

Create a new list
Software Pioneers

by M. Broy and Ernst Denert First published in 2002 — 2 editions

Locate

My Reading Lists:

Create a new list
Korso: Methods, Languages and Tools for the Construction of Correct Software : Final Report (Lecture Notes in Computer Science, 1009)

by M. Broy and Stefan Jähnichen First published in 1995 — 2 editions

Locate

My Reading Lists:

Create a new list
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)

by M. Broy and Stephan Merz First published in 1996 — 2 editions

Locate

My Reading Lists:

Create a new list
Software Systems Reliability and Security - Volume 9 NATO Security through Science Series: Information and Communication Security (Nato Security Through ... D: Information and Communication Security)

by M. Broy and C. A. R. Hoare First published in 2007 — 2 editions

Locate

My Reading Lists:

Create a new list
Transformation parallel ablaufender Programme

by M. Broy First published in 1980 — 1 edition

Locate

My Reading Lists:

Create a new list
Künstliche Intelligenz

by Bernhard Irrgang and M. Broy First published in 1990 — 1 edition

Locate

My Reading Lists:

Create a new list
Informatik und Mathematik

by M. Broy First published in 1991 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Informatikforschung in Deutschland

by Roland Vollmar and M. Broy First published in 2008 — 1 edition

Locate

My Reading Lists:

Create a new list
Calculational system design

by M. Broy and Ralf Steinbrüggen 1 edition

Locate

My Reading Lists:

Create a new list
Program construction: international summer school

by Friedrich Ludwig Bauer and M. Broy First published in 1979 — 1 edition

Locate

My Reading Lists:

Create a new list
Mathematical methods in program development

by M. Broy First published in 1997 — 1 edition

Locate

My Reading Lists:

Create a new list
Program design calculi

by M. Broy First published in 1993 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Deductive program design

by M. Broy First published in 1996 — 1 edition

Preview Only

My Reading Lists:

Create a new list
Preview

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

by M. Broy First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list
Software and systems safety: specification and verification

by M. Broy, Christian Leuxner, and C. A. R. Hoare First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Lecture Notes in Computer Science)

by D. Bjørner and M. Broy First published in 2000 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of M. Broy

Born

1949

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7073866A

Links outside Open Library

No links yet. Add one?

History

Created February 1, 2012
1 revision

Download catalog record: RDF / JSON

February 1, 2012

Created by LC Bot

import new book