Logic and Algebra of Specification / NATO ASI Subseries F: Bd.94 (PDF)
(Sprache: Englisch)
For some years, specification of software and hardware
systems has been influenced not only by algebraic methods
but also by new developments in logic. These new
developments in logic are partly based on the use of
algorithmic techniques in...
systems has been influenced not only by algebraic methods
but also by new developments in logic. These new
developments in logic are partly based on the use of
algorithmic techniques in...
sofort als Download lieferbar
eBook (pdf)
153.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logic and Algebra of Specification / NATO ASI Subseries F: Bd.94 (PDF)“
For some years, specification of software and hardware
systems has been influenced not only by algebraic methods
but also by new developments in logic. These new
developments in logic are partly based on the use of
algorithmic techniques in deduction and proving methods, but
are alsodue to new theoretical advances, to a great extent
stimulated by computer science, which have led to new types
of logic and new logical calculi. The new techniques,
methods and tools from logic, combined with algebra-based
ones, offer very powerful and useful tools for the computer
scientist, which may soon become practical for commercial
use, where, in particular, more powerful specification tools
are needed for concurrent and distributed systems.
This volume contains papers based on lectures by leading
researchers which were originally given at an international
summer school held in Marktoberdorf in 1991. The papers aim
to give a foundation for combining logic and algebra for the
purposes of specification under the aspects of automated
deduction, proving techniques, concurrency and logic,
abstract data types and operational semantics, and
constructive methods.
systems has been influenced not only by algebraic methods
but also by new developments in logic. These new
developments in logic are partly based on the use of
algorithmic techniques in deduction and proving methods, but
are alsodue to new theoretical advances, to a great extent
stimulated by computer science, which have led to new types
of logic and new logical calculi. The new techniques,
methods and tools from logic, combined with algebra-based
ones, offer very powerful and useful tools for the computer
scientist, which may soon become practical for commercial
use, where, in particular, more powerful specification tools
are needed for concurrent and distributed systems.
This volume contains papers based on lectures by leading
researchers which were originally given at an international
summer school held in Marktoberdorf in 1991. The papers aim
to give a foundation for combining logic and algebra for the
purposes of specification under the aspects of automated
deduction, proving techniques, concurrency and logic,
abstract data types and operational semantics, and
constructive methods.
Bibliographische Angaben
- 2012, 1993, 442 Seiten, Englisch
- Herausgegeben: Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3642580416
- ISBN-13: 9783642580413
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 33 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Logic and Algebra of Specification / NATO ASI Subseries F: Bd.94"
Schreiben Sie einen Kommentar zu "Logic and Algebra of Specification / NATO ASI Subseries F: Bd.94".
Kommentar verfassen