Menu

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

obnb.uk is a Good Stuff website.