Logic algebra specification (24 risultati)
- Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 71,25
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
LOGIC AND ALGEBRA OF SPECIFICATION.
Bauer, Friedrich L., Wilfried Brauer and Helmut Schwichtenberg (edited by).
- Rilegato
Da: PASCALE'S BOOKS, NORTH READING, MA, U.S.A.PASCALE'S BOOKS
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 88,87
EUR 4,75 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hard Cover. Condizione: Fine. Condizione sovraccoperta: Not Issued with a Dust Jacket. 442 pages. "For some years, specification of software and hardware systems has not only been influenced by algebraic methods (which has a long tradition) but also new development in logic. These new developments in logic are partly based on th…e use of algorithmic techniques in deduction and proving methods, but are also by new theoretical advances, to a great extent stimulated by computer science, which lead to new types of logics, new logical calculi." FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 165,53
EUR 13,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 165,53
EUR 13,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Logic and Algebra of Specification
Bauer, Friedrich L.; Brauer, Wilfried (EDT); Schwichtenberg, Helmut
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 180,72
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Logic and Algebra of Specification
Bauer, Friedrich L.; Brauer, Wilfried (EDT); Schwichtenberg, Helmut
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 165,51
EUR 17,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Logic and Algebra of Specification
Bauer, Friedrich L.; Brauer, Wilfried (EDT); Schwichtenberg, Helmut
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 182,89
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Logic and Algebra of Specification
Bauer, Friedrich L.; Brauer, Wilfried (EDT); Schwichtenberg, Helmut
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 182,85
EUR 17,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 212,68
EUR 3,44 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 456.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 212,85
EUR 3,44 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 456.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 168,73
EUR 64,23 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 pro…ving 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 commercialuse, where, in particular, more powerful specification toolsare needed for concurrent and distributed systems.This volume contains papers based on lectures by leadingresearchers which were originally given at an internationalsummer school held in Marktoberdorf in 1991. The papers aimto give a foundation for combining logic and algebra for thepurposes of specification under the aspects of automateddeduction, proving techniques, concurrency and logic,abstract data types and operational semantics, andconstructive methods.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 168,73
EUR 63,88 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 techniquesmethods and tools from logic, combined with algebra-basedones, offer very powerful and useful tools for the computerscientist, which may soon become practical for commercialuse, where, in particular, more powerful specification toolsare needed for concurrent and distributed systems.This volume contains papers based on lectures by leadingresearchers which were originally given at an internationalsummer school held in Marktoberdorf in 1991. The papers aimto give a foundation for combining logic and algebra for thepurposes of specification under the aspects of automateddeduction, proving techniques, concurrency and logicabstract data types and operational semantics, andconstructive methods.
Logic and Algebra of Specification
Bauer, Friedrich L. (Editor)/ Brauer, Wilfried (Editor)/ Schwichtenberg, Helmut (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 235,81
EUR 14,57 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. reprint edition. 456 pages. 9.53x6.69x1.00 inches. In Stock.
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 126,26
EUR 8,00 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 160,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 d…eduction 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 commercialuse, where, in particular, more powerful specification toolsare needed for concurrent and distributed systems.This volume contains papers based on lectures by leadingresearchers which were originally given at an internationalsummer school held in Marktoberdorf in 1991. The papers aimto give a foundation for combining logic and algebra for thepurposes of specification under the aspects of automateddeduction, proving techniques, concurrency and logic,abstract data types and operational semantics, andconstructive methods. 456 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 160,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 techniqu…es 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 commercialuse, where, in particular, more powerful specification toolsare needed for concurrent and distributed systems.This volume contains papers based on lectures by leadingresearchers which were originally given at an internationalsummer school held in Marktoberdorf in 1991. The papers aimto give a foundation for combining logic and algebra for thepurposes of specification under the aspects of automateddeduction, proving techniques, concurrency and logic,abstract data types and operational semantics, andconstructive methods. 456 pp. Englisch.
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 136,16
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991For some years, specification of software and hardwaresystems has been i…nfluenced not only by algebra.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 136,16
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991For some years, specification of software and hardwaresystems has been i…nfluenced not only by algebra.
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 160,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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, abstr…act data types and operational semantics, and constructive methods.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 456 pp. Englisch.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 160,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 456 pp. Englisch.
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 221,59
EUR 7,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 456 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 222,57
EUR 7,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 456 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 225,86
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 456.
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 226,99
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 456.
