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.

Պահումների մանրամասները CARM 1 Store
Դասիչ:	A2:AK01B0 B05273
Պատճեն 1	Հասանելի է Տեղադրեք պահում

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