Verwandte Artikel zu Fork Algebras In Algebra, Logic And Computer Science...

Fork Algebras In Algebra, Logic And Computer Science (Advances in Logic, Volume 2, Band 2) - Hardcover

Frias, Marcelo Fabian (Univ De Buenos Aires, Argentina)

 
9789810248765: Fork Algebras In Algebra, Logic And Computer Science (Advances in Logic, Volume 2, Band 2)
Hardcover
ISBN 10: 9810248768 ISBN 13: 9789810248765
Verlag: World Scientific Publishing Co Pte Ltd, 2002

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
World Scientific Publishing Co Pte Ltd
Erscheinungsdatum
2002
Sprache
Englisch
ISBN 10 
9810248768
ISBN 13 
9789810248765
Einband
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
232
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar