Produktnummer:
185b38f44c5797435eaee52f1a2c3766c6
| Themengebiete: | algebra category theory development formal specification language programming programming language semantics software structured analysis |
|---|---|
| Veröffentlichungsdatum: | 26.06.1991 |
| EAN: | 9783540540601 |
| Sprache: | Englisch |
| Seitenzahl: | 184 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bidoit, Michel Kreowski, Hans-Jörg Lescanne, Pierre Orejas, Fernando Sannella, Donald |
| Verlag: | Springer Berlin |
| Untertitel: | A Survey and Annotated Bibliography |
Produktinformationen "Algebraic System Specification and Development"
This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen