Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Fork Algebras In Algebra, Logic And Computer Science
6 Angebote vergleichen
Bester Preis: € 133,80 (vom 28.01.2017)Fork Alegebras in Algebra, Logic and Computer Science (Hardback) (2002)
ISBN: 9789810248765 bzw. 9810248768, in Englisch, World Scientific Publishing Co Pte Ltd, Singapore, gebundenes Buch, neu.
Von Händler/Antiquariat, The Book Depository [54837791], Gloucester, UK, United Kingdom.
Brand New Book. Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This work gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding.
Fork Algebras in Algebra, Logic and Computer Science (2002)
ISBN: 9789810248765 bzw. 9810248768, in Englisch, 217 Seiten, World Scientific Pub Co Inc, gebundenes Buch, neu, Erstausgabe.
Von Händler/Antiquariat, PBShop US.
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This work gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding. Hardcover, Ausgabe: 1st, Label: World Scientific Pub Co Inc, World Scientific Pub Co Inc, Produktgruppe: Book, Publiziert: 2002-06-15, Studio: World Scientific Pub Co Inc, Verkaufsrang: 11643678.
Fork Algebras in Algebra, Logic and Computer Science (2002)
ISBN: 9789810248765 bzw. 9810248768, in Englisch, 232 Seiten, World Scientific Pub Co Inc, gebundenes Buch, neu, Erstausgabe.
Von Händler/Antiquariat, pbshopus.
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This work gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding. Hardcover, Ausgabe: 1st, Label: World Scientific Pub Co Inc, World Scientific Pub Co Inc, Produktgruppe: Book, Publiziert: 2002-06-15, Studio: World Scientific Pub Co Inc, Verkaufsrang: 9989095.
Fork Algebras In Algebra, Logic And Computer Science
ISBN: 9789812777928 bzw. 981277792X, in Deutsch, World Scientific, neu.
Fork Algebras in Algebra, Logic and Computer Science
ISBN: 9789810248765 bzw. 9810248768, in Englisch, World Scientific Publishing Company, neu, E-Book.
Computers, Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding. Sample Chapter(s). Chapter 1: Introduction and Motivations (110 KB). Contents: Introduction and Motivations; Algebras of Binary Relations and Relation Algebras; Proper and Abstract Fork Algebras; Representability and Independence; Interpretability of Classical First-Order Logic; Algebraization of Non-Classical Logics; A Calculus for Program Construction. Readership: Graduate students and researchers using relational methods in computer science. eBook.
Fork Algebras in Algebra, Logic and Computer Science (2002)
ISBN: 9789810248765 bzw. 9810248768, in Englisch, World Scientific Pub Co Inc, gebundenes Buch, neu, Erstausgabe.
1st edition. 232 pages. 9.25x6.25x0.75 inches. In Stock.