Narrow search
Showing 1 - 10 of 25
Cover Image
Software engineering : an advanced course
Bauer, Friedrich L. (contributor) - 1975 - Repr. of the 1. ed.
Persistent link: https://www.econbiz.de/10004692202
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
Verifying concurrent processes using temporal logic
Hailpern, Brent T. - 1982
Persistent link: https://www.econbiz.de/10004009525
Cover Image
Product-focused software process improvement : 13th international conference ; proceedings
Dieste, Oscar (contributor) - 2012
Persistent link: https://www.econbiz.de/10009590422
Cover Image
Learning software organizations : methodology and applications ; proceedings
Ruhe, Günther (contributor) - 2000
Persistent link: https://www.econbiz.de/10004608447
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
Computer programs for spelling correction : an experiment in program design
Peterson, James L. - 1980
Persistent link: https://www.econbiz.de/10004615522
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
Language hierarchies and interfaces : international summer school
Bauer, Friedrich L. (contributor) - 1976
Persistent link: https://www.econbiz.de/10004856516
Cover Image
Programming Symposium : proceedings, Colloque sur la Programmation, Paris, April 9 - 11, 1974
Robinet, Bernard (contributor) - Programming Symposium <1974, Paris> - 1974
Persistent link: https://www.econbiz.de/10004623666