Narrow search
Showing 1 - 10 of 183
Cover Image
Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6 - 8, 1983
In: Logics of programs : proceedings 164 (1984)
Persistent link: https://www.econbiz.de/10004725509
Cover Image
Program construction : international summer school
Bauer, Friedrich L. (contributor) - 1979
Persistent link: https://www.econbiz.de/10004665505
Cover Image
Abstract software specifications : 1979 Copenhagen winter school, January 22 - February 2, 1979 ; proceedings
Bjørner, Dines (contributor) - 1980
Persistent link: https://www.econbiz.de/10004697672
Cover Image
Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10 - 11 September, 1979
Tobias, Jeffrey M. (contributor) - 1980
Persistent link: https://www.econbiz.de/10004615518
Cover Image
Tokyo, Japan, July 1 - 3, 1985
In: Logic programming : proceedings of the ... conference 221 (1986)
Persistent link: https://www.econbiz.de/10004057680
Cover Image
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings
Díaz, Josep (contributor) - 1981
Persistent link: https://www.econbiz.de/10004008619
Cover Image
Learning software organizations : methodology and applications ; proceedings
Ruhe, Günther (contributor) - 2000
Persistent link: https://www.econbiz.de/10004608447
Cover Image
Language hierarchies and interfaces : international summer school
Bauer, Friedrich L. (contributor) - 1976
Persistent link: https://www.econbiz.de/10004856516
Cover Image
Programming methodology
Hackl, Clemens (contributor) - 1975
Persistent link: https://www.econbiz.de/10004657684
Cover Image
Product-focused software process improvement : 13th international conference ; proceedings
Dieste, Oscar (contributor) - 2012
Persistent link: https://www.econbiz.de/10009590422