Logic and Algebra of Specification (NATO ASI Subseries F:)
ISBN 10: 3642634486 ISBN 13: 9783642634482
Verlag: Springer, 2014
Neu
Softcover
Verkäufer
Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
In. Bestandsnummer des Verkäufers ria9783642634482_new
Inhaltsangabe:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Logic and Algebra of Specification (NATO ASI...
Verlag: Springer
Erscheinungsdatum: 2014
Einband: Softcover
Zustand: New