Home Advanced Search

Advanced Search - Page 1

Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings

PDF
English
Year: 1998
Author: David Harel (auth.), Johan Jeuring (eds.)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

PDF
English
Year: 2005
Author: Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Generic Programming: Advanced Lectures

PDF
English
Year: 2003
Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

PDF
English
Year: 2003
Author: Thorsten Altenkirch, Conor Mcbride (auth.), Jeremy Gibbons, Johan Jeuring (eds.)

Generic Programming: Advanced Lectures

PDF
English
Year: 2003
Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

PDF
English
Year: 2007
Author: Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

PDF
English
Year: 2003
Author: Richard Bird, Jeremy Gibbons (auth.), Johan Jeuring, Simon L. Peyton Jones (eds.)

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

PDF
English
Year: 2007
Author: Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

First-Order Dynamic Logic

PDF
English
Year: 1979
Author: David Harel (eds.)

First-Order Dynamic Logic

DJVU
English
Year: 1979
Author: David Harel (eds.)