Result: Formal methods in programming and their applications

*Title*:

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings / Dines Bjørner ... (ed.)

*Author/editor-in-chief*:

*Publication*:

Berlin : Springer, 1993

*Physical description scale*:

IX, 433 Seiten : Diagramme

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 735
*show_all_volumes*

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

354057316X ; 038757316X

*Result*: Formal methods in programming and their applications