Semantik und Programmverifikation
Reihen: Teubner-Texte zur Informatik . 34 Editionsangabe:1. Aufl. Erschienen bei: Teubner (Stuttgart [u.a.]) Physische Details: 211 S. ISBN:3519003368. Jahr: 2001| Medientyp | Aktuelle Bibliothek | Signatur | Exemplarnr. | Status | Fälligkeitsdatum | Barcode |
|---|---|---|---|---|---|---|
Bücher
|
Bibliothek der NORDAKADEMIE | EDV 51 (Regal durchstöbern (Öffnet sich unterhalb)) | 1 | Verfügbar | 017895 |
Regale von Bibliothek der NORDAKADEMIE durchstöbern Regalbrowser ausblenden (Regal ausblenden)
| EDV 51 Objektorientierte Softwareentwicklung : Analyse und Design mit der Unified modeling language | EDV 51 Object-oriented analysis and design with applications | EDV 51 Domain-Driven Design : Tackling Complexity in the Heart of Software | EDV 51 Semantik und Programmverifikation | EDV 51/2. - Lehrbuchsammlung Lehrbuch der Software-Technik I : Software-Entwicklung | EDV 51/2. - Lehrbuchsammlung Lehrbuch der Software-Technik I : Software-Entwicklung | EDV 51/3. - Lehrbuchsammlung Lehrbuch der Softwaretechnik : Basiskonzepte und Requirements Engineering |
Es gibt keine Kommentare für diesen Titel.