Software Engineering vol. 2 Specification of Systems and Languages [electronic resource] Dines Bjorner
Series: Texts in Theoretical Computer Science An EATCS SeriesPublication details: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006Description: vol. 1-3 ill., digital 24 cm; vol 1: 777 pISBN:- 9783540331933 (electronic bk.)
- 9783540211501 (paper)
- 005.1
- QA76.758
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Carti | IMAR | 005.1-BJO-2 (Browse shelf(Opens below)) | 1 | Checked out | 04/18/2025 | 0033277 |
eng
Index
Bibliografie
There are no comments on this title.
Log in to your account to post a comment.