/ Sök
Filter
Donald sannella
  • Häftad  (8)
  • E-bok  (6)
  • Inbunden  (1)
  • Springer-verlag berlin and heidelberg gmbh co. k  (8)
  • Springer berlin heidelberg  (5)
  • Springer international publishing  (1)
  • Springer nature switzerland ag  (1)
  • Lecture notes in computer science  (4)
  • Monographs in theoretical computer science. an eatcs series  (2)
  • Theoretical computer science and general issues  (2)
  • Undergraduate topics in computer science  (1)

Sökt på: Böcker av Donald Sannella

Filter
Donald sannella
  • Häftad  (8)
  • E-bok  (6)
  • Inbunden  (1)
  • Springer-verlag berlin and heidelberg gmbh co. k  (8)
  • Springer berlin heidelberg  (5)
  • Springer international publishing  (1)
  • Springer nature switzerland ag  (1)
  • Lecture notes in computer science  (4)
  • Monographs in theoretical computer science. an eatcs series  (2)
  • Theoretical computer science and general issues  (2)
  • Undergraduate topics in computer science  (1)

totalt 15 träffar

Introduction to Computation

Introduction to Computation

av Donald Sannella , Michael Fourman , Haoran Peng m.fl.
häftad, 2022, Engelska, ISBN 9783030769079

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 …

häftad
421 kr
Automata, Languages and Programming

Automata, Languages and Programming

E-bok, 2004, Engelska, ISBN 9783540278368
E-bok
Laddas ned direkt
2639 kr
Mathematical Foundations of Computer Science 2015

Mathematical Foundations of Computer Science 2015

häftad, 2015, Engelska, ISBN 9783662480564

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS …

häftad
662 kr
Mathematical Foundations of Computer Science 2015

Mathematical Foundations of Computer Science 2015

häftad, 2015, Engelska, ISBN 9783662480533

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS …

häftad
662 kr
Introduction to Computation

Introduction to Computation

av Michael Fourman , Donald Sannella , Philip Wadler m.fl.
E-bok, 2022, Engelska, ISBN 9783030769086

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 …

E-bok
Laddas ned direkt
516 kr
Trustworthy Global Computing

Trustworthy Global Computing

E-bok, 2007, Engelska, ISBN 9783540753360

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 …

E-bok
Laddas ned direkt
775 kr
Programming Languages and Systems - ESOP '94

Programming Languages and Systems - ESOP '94

häftad, 1994, Engelska, ISBN 9783540578802

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 …

häftad
662 kr
Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

av Donald Sannella , Andrzej Tarlecki
inbunden, 2011, Engelska, ISBN 9783642173356

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic …

inbunden
1421 kr
Algebraic System Specification and Development

Algebraic System Specification and Development

häftad, 1991, Engelska, ISBN 9783540540601

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 …

häftad
662 kr
Trustworthy Global Computing

Trustworthy Global Computing

häftad, 2007, Engelska, ISBN 9783540753339

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 …

häftad
662 kr
Mathematical Foundations of Computer Science 2015

Mathematical Foundations of Computer Science 2015

E-bok, 2015, Engelska, ISBN 9783662480540

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS …

E-bok
Laddas ned direkt
775 kr
Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

av Donald Sannella , Andrzej Tarlecki
häftad, 2014, Engelska, ISBN 9783642440656

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic …

häftad
1042 kr
Visa fler Laddar fler produkter
Introduction to Computation
häftad
Introduction to Computation
421 kr
Automata, Languages and Programming
E-bok
Automata, Languages and Programming
2639 kr
Mathematical Foundations of Computer Science 2015
häftad
Mathematical Foundations of Computer Science 2015
662 kr
Mathematical Foundations of Computer Science 2015
häftad
Mathematical Foundations of Computer Science 2015
662 kr
Introduction to Computation
E-bok
Introduction to Computation
516 kr
Trustworthy Global Computing
E-bok
Trustworthy Global Computing
775 kr
Programming Languages and Systems - ESOP '94
häftad
Programming Languages and Systems - ESOP '94
662 kr
Foundations of Algebraic Specification and Formal Software Development
inbunden
Foundations of Algebraic Specification and Formal Software Development
1421 kr
Algebraic System Specification and Development
häftad
Algebraic System Specification and Development
662 kr
Trustworthy Global Computing
häftad
Trustworthy Global Computing
662 kr
Mathematical Foundations of Computer Science 2015
E-bok
Mathematical Foundations of Computer Science 2015
775 kr
Foundations of Algebraic Specification and Formal Software Development
häftad
Foundations of Algebraic Specification and Formal Software Development
1042 kr
Visa fler Laddar fler produkter