Jump to main content

yr 〜
yr

Search results 3

Program construction and verification : pbk

Program construction and verification : pbk
Paper図書
Roland C. BackhousePrentice-Hall1986
Other Libraries in Japan

System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds. (Lecture notes in computer science)

System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1987.<M15-A3663>
National Diet Library
  • Contents...Integration of program construction and verification / Bernd Krieg-Brückner Ada co...

Prentice-Hall International series in computer science

Prentice-Hall International series in computer science
Paper図書
Prentice-Hall International
Other Libraries in Japan
  • Related Material...puting science Program construction and verification Introduction to formal specif...

Reached to the end of result.

RSS