The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs /

Պահպանված է:

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Baber, Robert Laurence
Ձևաչափ:	Գիրք
Լեզու:	English
Հրապարակվել է:	Chichester [West Sussex] ; New York : Wiley, c1988.
Խորագրեր:	Computer software > Development. Computer programming.

Նմանատիպ նյութեր