Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch

By:

Partsch, Helmut A [aut]

Contributor(s):

Partsch, Helmut A [oth]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Texts and monographs in computer sciencePublisher: Berlin ; Heidelberg [u.a.] : Springer, 1990Description: XIII, 493 S. : graph. DarstISBN:

3540525890
0387525890
3540523561
0387523561

Subject(s):

Softwareentwicklung
Computer software

MSC: MSC: *68Q60 | 68Q65 | 68N99 | 68-02RVK: RVK: ST 230LOC classification:

QA76.76.D47

Call number: Grundsignatur: 90 A 2647PPN: PPN: 025240757

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	90 A 2647	Available		46483152090

Total holds: 0

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)