Logic and Algebra of Specification. Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: Springer, 2014
- Softcover
- Neu
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in mit 5 Sternen
Verkäufer:in bei AbeBooks seit 6. April 2009
Nicht verfügbar
Softcover
Zustand: Neu
EUR 191,82
Bestandsnummer des Verkäufers 21291034-n
- Titel
- Logic and Algebra of Specification
- Autor
- Bauer, Friedrich L. (EDT); Brauer, Wilfried (EDT); Schwichtenberg, Helmut (EDT)
- Verlag
- Springer
- Erscheinungsjahr
- 2014
- Zustand
- New
- Einband
- Softcover
- Sprache
- Englisch
- ISBN-10
- 3642634486
- ISBN-13
- 9783642634482
This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.