peter mosses (34 Ergebnisse)

PAP. Zustand: New. Wanjuki, Mr. Mosses (illustrator). New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. Wanjuki, Mr. Mosses (illustrator). New Book. Shipped from UK. Established seller since 2000.

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 11 (weekend SALE item)* 476 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Zustand: Gut. 392 Seiten aus einer wissenschaftlichen Bibliothek - Sprache: Englisch Gewicht in Gramm: 969 24,7 x 17,4 x 2,2 cm, Gebundene Ausgabe.

Paperback. Zustand: Good. THERE ARE NO TARIFFS OR CUSTOMS DUTIES ON BOOKS. Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have an interest in the semantics of programming languages will find Action Semantics a most helpful book. Ex library book with usual stamps and coding. Shelf wear and light staining on cover. Tear on spine, 10cm. Bumping on all corners. Tight binding.

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Zustand: Good. THERE ARE NO TARIFFS OR CUSTOMS DUTIES ON BOOKS. Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have an interest in the semantics of programming languages will find Action Semantics a most helpful book. Ex library book with usual stamps and coding. Shelf wear and light staining on cover. Tear on spine, 10cm. Bumping on all corners. Tight binding.

Hardback. Zustand: Very Good. Series: Cambridge Tracts in Theoretical Computer Science. xx 372p hardback with blue striped design, excellent fresh copy, no names no stamps, no library markings, as new Language: English.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: 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.

Zustand: New. In.

Hardcover. Zustand: Used: Very Good. 1st Edition. Hardcover in Fine condition, 372 pp.

paperback. Zustand: Befriedigend. 260 Seiten; 9783540207665.4 Gewicht in Gramm: 500.

paperback. Zustand: Gut. 260 Seiten; 9783540207665.3 Gewicht in Gramm: 500.

Zustand: New. Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 396 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 21. Weight in Grams: 710. . 2008. Illustrated. paperback. . . . . Books ship from the US and Ireland.

Zustand: New. pp. 836 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci cation and development of systems, an area that was born around the algebraic speci cation of abstract data types and encompasses today the formal design of software systems, new speci cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. The program consisted of invited talks by Luis Caires (Universidade Nova de Lisboa, Portugal) and Reiko Heckel (University of Paderborn, Germany), and 33 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci cation languages and methods, systems and techniques for reasoning about speci cations, speci cation devel- ment systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The algebraic approach to system speci cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci cation fra- works and programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on Al- braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData Types, have become a prominent forum to present and discuss research on this important area. The 14th International Workshop on Algebraic Development Techniques (WADT 99) took place at the Chat eau de Bonas, near Toulouse, September 15 18,1999,and was organized by Didier Bert and Christine Choppy. The main topics of the workshop were: algebraic speci cation other approaches to formal speci cation speci cation languages and methods term rewriting and proof systems speci cation development systems (concepts, tools, etc.). The program consisted of invited talks by Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69 presentations describing ongoing - search. The parallel sessions were devoted to: algebraic speci cations and other speci cation formalisms, test and validation, concurrent processes, - plications, logics and validation, combining formalisms, subsorts and parti- ity, structuring, rewriting, coalgebras and sketches, re nement, institutions and categories, ASM speci cations. There were also sessions re ecting - going research achieved in the Common Framework Initiative (CoFI, see within its di erent task groups: CASL (Common Algebraic Speci cation Language), CASL semantics, CASL tools, methodology, and reactive systems.

Taschenbuch. Zustand: Neu. Recent Trends in Algebraic Development Techniques | 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers | José Luiz Fiadeiro (u. a.) | Taschenbuch | viii | Englisch | 2005 | Springer | EAN 9783540253273 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Recent Trends in Algebraic Development Techniques | 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers | Didier Bert (u. a.) | Taschenbuch | x | Englisch | 2000 | Springer | EAN 9783540678984 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 552 | Sprache: Englisch | Produktart: Bücher | CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications.As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have an interest in the semantics of programming languages will find Action Semantics a most helpful book.

Taschenbuch. Zustand: Neu. CASL Reference Manual | The Complete Documentation of the Common Algebraic Specification Language | Peter D. Mosses | Taschenbuch | xviii | Englisch | 2004 | Springer | EAN 9783540213017 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: New. In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the development of theoretical computer science as a fundamental scienc.

Kartoniert / Broschiert. Zustand: New. This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT 95, held in Aarhus, Denmark in May 1995. TAPSOFT 95 celebrates the 10th anniversary of this conference series star.