Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), IFIP TC 2/WG 2.1
Other Authors:	Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1993.
Series:	Lecture notes in computer science ; 755.
Subjects:	Computer software > Development. Computer programming. Computer software. Electronic digital computers. Programmatuurtechniek. Electronic books. Congressen (vorm)
Online Access:	Connect to the full text of this electronic book

Available Online