An edition of FM'99-- formal methods (1999)
FM'99-- formal methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
By World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1999
Publisher
Springer
Language
eng
Pages
1875
Description:
subjects: Congresses, Development, Formal methods (Computer science), Application software, Developpement, Engenharia de programacao (software), Conception de Systemes, Genie logiciel, Logiciels d'application, Methodes formelles (Informatique), Congres, Progiciels, Logic design, Computer science, Software engineering, Application software, development, Computers, congresses, System design