Logic and Algebra of Specification
-
- Hardcover
- Taschenbuch ausgewählt
-
Sprache:Englisch
146,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
14.04.2014
Herausgeber
Friedrich L. Bauer + weitereVerlag
Springer BerlinSeitenzahl
442
Maße (L/B/H)
24,2/17/2,5 cm
Gewicht
780 g
Auflage
Softcover reprint of the original 1st ed. 1993
Sprache
Englisch
ISBN
978-3-642-63448-2
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice