Donald Sannella – författare
Visar alla böcker från författaren Donald Sannella. Handla med fri frakt och snabb leverans.
12 produkter
Introduction to Computation
Haskell, Logic and Automata
Av Donald Sannella, Michael Fourman m. fl.
Häftad, 2022
433 kr
Lägg i varukorg
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into …
Introduction to Computation
Haskell, Logic and Automata
Av Philip Wadler, Haoran Peng m. fl.
E-bok, 2022
542 kr
Lägg i varukorg
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into …
Automata, Languages and Programming
31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
Av Josep Diaz, Juhani Karhumäki m. fl.
Häftad, 2004
1917 kr
Lägg i varukorg
The 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004) was held from July 12 to July 16 in Turku, Finland. This volume contains all contributed papers presented at ICALP 2004, together with the invitedlecturesbyPhilippeFlajolet(INRIA),RobertHarper(CarnegieMellon), …
Automata, Languages and Programming
31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
Av Donald Sannella, Arto Lepisto m. fl.
E-bok, 2004
2414 kr
Lägg i varukorg
Recent Trends in Data Type Specification
Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
Häftad, 1988
569 kr
Lägg i varukorg
The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since …
Algebraic System Specification and Development
A Survey and Annotated Bibliography
Av Michel Bidoit, Hans-Jörg Kreowski m. fl.
Häftad, 1991
551 kr
Lägg i varukorg
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and …
Programming Languages and Systems - ESOP '94
5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
Häftad, 1994
569 kr
Lägg i varukorg
This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, …
Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Av Ugo Montanari, Donald Sannella m. fl.
Häftad, 2007
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The …
Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Av Roberto Bruni, Donald Sannella m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
Foundations of Algebraic Specification and Formal Software Development
Av Donald Sannella, Andrzej Tarlecki
Inbunden, 2011
1316 kr
Lägg i varukorg
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using …
Foundations of Algebraic Specification and Formal Software Development
Av Andrzej Tarlecki, Donald Sannella
E-bok, 2012
1720 kr
Lägg i varukorg
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using …
Foundations of Algebraic Specification and Formal Software Development
Av Donald Sannella, Andrzej Tarlecki
Häftad, 2014
1316 kr
Lägg i varukorg
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using …
