Narrow search
Showing 1 - 10 of 23
Cover Image
Mes premières constructions de programmes
Gerbier, A. (contributor) - 1977
Persistent link: https://www.econbiz.de/10004022452
Cover Image
First order dynamic logic
Harel, David - 1979
Persistent link: https://www.econbiz.de/10004038415
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
Theory of program structures : schemes, semantics, verification
Greibach, Sheila A. - 1975
Persistent link: https://www.econbiz.de/10004018883
Cover Image
Learning software organizations : methodology and applications ; proceedings
Ruhe, Günther (contributor) - 2000
Persistent link: https://www.econbiz.de/10004608447
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
Programming methodology
Hackl, Clemens (contributor) - 1975
Persistent link: https://www.econbiz.de/10004657684
Cover Image
Computing in systems described by equations
O'Donnell, Michael J. - 1977
Persistent link: https://www.econbiz.de/10004657836
Cover Image
Coroutines : a programming methodology, a language design and an implementation
Marlin, Christopher D. - 1980
Persistent link: https://www.econbiz.de/10004658844