عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540470069
9783540470069
b566165
VDM '90 VDM and Z -- Formal Methods in Software Development :
[Book]
Third International Symposium of VDM Europe Kiel, FRG, April 17-21, 1990 Proceedings
edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1990
Lecture Notes in Computer Science, 428
L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
Computer science.
Logic design.
Software engineering.
edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
Charles Antony Richard Hoare
D Bjørner
H Langmaack
مطالعه متن کتاب [Book]
Y
