Algebraic Methods: Theory, Tools and Applications
Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative lan…
Mehr
CHF 144.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Wirsing, Martin (Hrsg.)
- ISBN: 978-3-540-51698-9
- EAN: 9783540516989
- Produktnummer: 3498587
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1989
- Seitenangabe: 568 S.
- Masse: H23.5 cm x B15.5 cm x D3.0 cm 850 g
- Auflage: 1989
- Abbildungen: Paperback
- Gewicht: 850
1 weiteres Werk von Jan A. (Hrsg.) Bergstra:
Bewertungen
Anmelden