• Formal methods for increasing...
  • *Holdings*

*Result*: Formal methods for increasing software productivity

*Title*:
Formal methods for increasing software productivity : proceedings / FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001.José Nuno Oliveira ; Pamela Zave (eds.)
*Author/editor-in-chief*:
Oliveira, José Nuno (Herausgeber) 
*Corporate*:
FME (10 : 2001 : Berlin)
*Publication*:
Berlin : Springer, 2001
*Physical description scale*:
XIII, 628 Seiten : Diagramme ; 24 cm
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 2021
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
3540417915

*Additional information*

*Additional functions*