Details

Autor(en) / Beteiligte

• Bert, Didier

Titel

B’98: Recent Advances in the Development and Use of the B Method : Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings [Elektronische Ressource]

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg, Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg

Erscheinungsjahr

1998

Link zum Volltext

• Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)