Software engineering / D. Bjørner
Resource type: Ressourcentyp: GesamtaufnahmeSetLanguage: English Series: Texts in theoretical computer scienceVolumes: Show volumesPublisher: Berlin ; Heidelberg [u.a.] : Springer, 20XX-Publication frequency: Erscheinungsweise: Erschienen: 1 - 3PPN: PPN: 1185681760No physical items for this record