Articoli correlati a Fork Algebras in Algebra, Logic and Computer Science:...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Fork Algebras in Algebra, Logic and Computer Science:...
Foto dell'editore
Fork Algebras in Algebra, Logic and Computer Science
Editore:
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Antico o usato
Rilegato
Prima edizione
Da: suffolkbooks, Center moriches, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. First Edition. Legacy smart filter userdata3=general (pricing criteria). Codice articolo 3TWDDA0052PC
Compra usato
EUR 30,64
Spedizione EUR 3,58
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Fork Algebras in Algebra, Logic and Computer Science
Editore:
World Scientific Publishing Co Pte Ltd, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Antico o usato
Rilegato
Prima edizione
Da: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. 1st. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 17996716-6
Compra usato
EUR 37,60
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Editore:
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuovo
Rilegato
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-388876
Compra nuovo
EUR 63,38
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Editore:
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuovo
Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABBB-265519
Compra nuovo
EUR 82,46
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 5 disponibili
Foto dell'editore
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Editore:
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuovo
Rilegato
Da: SMASS Sellers, IRVING, TX, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Codice articolo SNTNB-265519
Compra nuovo
EUR 85,34
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Fork Algebras In Algebra, Logic And Computer Science
Editore:
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuovo
Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo CX-9789810248765
Compra nuovo
EUR 86,38
Spedizione EUR 6,02
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Fork Algebras in Algebra, Logic and Computer Science
Editore:
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuovo
Rilegato
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9789810248765
Compra nuovo
EUR 103,40
Spedizione EUR 2,69
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Fork Algebras in Algebra, Logic and Computer Science
Editore:
World Scientific Pub Co Inc, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuovo
Rilegato
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 232 pages. 9.25x6.25x0.75 inches. In Stock. Codice articolo x-9810248768
Compra nuovo
EUR 126,78
Spedizione EUR 12,00
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Fork Algebras in Algebra, Logic and Computer Science
Editore:
WORLD SCIENTIFIC PUB CO INC, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuovo
Rilegato
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. InhaltsverzeichnisContents: Introduction and Motivations Algebras of Binary Relations and Relation Algebras Proper and Abstract Fork Algebras Representability and Independence Interpretability of Classical First-Order Logic Algebrai. Codice articolo 909656867
Compra nuovo
EUR 99,55
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
FORK ALGEBRAS IN ALGEBRA, LOGIC &.(V2)
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Codice articolo 9789810248765
Compra nuovo
EUR 129,57
Spedizione EUR 35,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili