Logic and Algebra of Specification Enlarge image

Logic and Algebra of Specification

Friedrich L. Bauer
okładka miękka
658 zł

Sprowadzamy na zamówienie


Do koszyka

Opis produktu

Logic and Algebra of Specification - Friedrich L. Bauer


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.

Szczegóły

Logic and Algebra of Specification

Friedrich L. Bauer
lipiec 1993
Springer-Verlag GmbH
456
3540558136
9783540558132
235 x 155 x 29

Recenzje

Napisz własną recenzję
Logic and Algebra of Specification - Friedrich L. Bauer

Historia przeglądania

Ostatnio przeglądane przedmioty