Logic and Algebra of Specification. Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: Springer, 2014
- Softcover
- Gebraucht
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: Gebraucht - Wie neu
EUR 193,25
Artikelbeschreibung des Verkäufers
Unread book in perfect condition.
Bestandsnummer des Verkäufers 21291034
- Titel
- Logic and Algebra of Specification
- Autor
- Bauer, Friedrich L. (EDT); Brauer, Wilfried (EDT); Schwichtenberg, Helmut (EDT)
- Verlag
- Springer
- Erscheinungsjahr
- 2014
- Zustand
- As 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.