Abstract software specifications 1979 Copenhagen winter school

Enregistré dans:
Détails bibliographiques
Autres auteurs: Bjorner, D.
Format: Livre
Langue:anglais
Publié: Berlin Springer 1980
Collection:Lecture notes in computer science 86
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!