FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume I / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies.
This book constitutes, together with its compagnion LNCS 1709, the refereed proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM'99, held in Toulouse, France in September 1999. The 92 revised full papers presented in the two volumes were carefully revi...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; Heidelberg :
Springer-Verlag Berlin Heidelberg,
1999.
|
| Series: | Lecture notes in computer science ;
1708, |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.L63
|
|---|---|
| QA76.9.L63 | Available |