Produktbild
Friedrich L. (Hrsg.) Bauer

Logic and Algebra of Specification

Buch

For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic. These newdevelopments in logic are partly based on the use ofalgorithmic techniques in deduction and proving methods, butare alsodue to new theoretical advances, to a great extentstimulated by computer science, which have led to new typesof logic and new logical calculi. The new techniques,methods and tools from logic, combined with algebra-basedones, offer very powerful and useful tools for the computerscientist, which may soon become practical for… Mehr

CHF 251.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Brauer, Wilfried (Hrsg.) / Schwichtenberg, Helmut (Hrsg.)
  • ISBN: 978-3-642-63448-2
  • EAN: 9783642634482
  • Produktnummer: 16463441
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2014
  • Seitenangabe: 444 S.
  • Masse: H24.2 cm x B17.0 cm x D2.4 cm 775 g
  • Auflage: Softcover Repri
  • Abbildungen: Book; Bibliographie
  • Gewicht: 775

8 weitere Werke von Friedrich L. (Hrsg.) Bauer:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.