/ Sök
Filter
Donald sannella
  • Häftad  (8)
  • E-bok  (6)
  • Inbunden  (1)
  • 2022  (2)
  • <2021  (13)
  • 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  (3)
  • Theoretical computer science and general issues  (3)
  • Monographs in theoretical computer science. an eatcs series  (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)
  • 2022  (2)
  • <2021  (13)
  • 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  (3)
  • Theoretical computer science and general issues  (3)
  • Monographs in theoretical computer science. an eatcs series  (2)
  • Undergraduate topics in computer science  (1)

totalt 15 träffar

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
1027 kr
Automata, Languages and Programming

Automata, Languages and Programming

E-bok, 2004, Engelska, ISBN 9783540278368
E-bok
Laddas ned direkt
2621 kr
Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

av Andrzej Tarlecki , Donald Sannella
E-bok, 2012, Engelska, ISBN 9783642173363

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

E-bok
Laddas ned direkt
1198 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
1443 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
933 kr
Introduction to Computation

Introduction to Computation

av Philip Wadler , Haoran Peng , Michael Fourman 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
513 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
830 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
933 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
881 kr
Recent Trends in Data Type Specification

Recent Trends in Data Type Specification

häftad, 1988, Engelska, ISBN 9783540503255

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 …

häftad
1027 kr
Mathematical Foundations of Computer Science 2015

Mathematical Foundations of Computer Science 2015

E-bok, 2015, Engelska, ISBN 9783662480571

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
941 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
1057 kr
Visa fler Laddar fler produkter
Trustworthy Global Computing
E-bok
Trustworthy Global Computing
1027 kr
Automata, Languages and Programming
E-bok
Automata, Languages and Programming
2621 kr
Foundations of Algebraic Specification and Formal Software Development
E-bok
Foundations of Algebraic Specification and Formal Software Development
1198 kr
Foundations of Algebraic Specification and Formal Software Development
inbunden
Foundations of Algebraic Specification and Formal Software Development
1443 kr
Algebraic System Specification and Development
häftad
Algebraic System Specification and Development
933 kr
Introduction to Computation
E-bok
Introduction to Computation
513 kr
Mathematical Foundations of Computer Science 2015
häftad
Mathematical Foundations of Computer Science 2015
830 kr
Mathematical Foundations of Computer Science 2015
häftad
Mathematical Foundations of Computer Science 2015
933 kr
Trustworthy Global Computing
häftad
Trustworthy Global Computing
881 kr
Recent Trends in Data Type Specification
häftad
Recent Trends in Data Type Specification
1027 kr
Mathematical Foundations of Computer Science 2015
E-bok
Mathematical Foundations of Computer Science 2015
941 kr
Foundations of Algebraic Specification and Formal Software Development
häftad
Foundations of Algebraic Specification and Formal Software Development
1057 kr
Visa fler Laddar fler produkter