donald sannella

Grid   List

  1. Foundations of Algebraic Specification and Formal Software Development
    Foundations of Algebraic Specification and Formal Software Development
    Donald Sannella
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 stu...
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Mathematical Foundations of Computer Science 2015
    Mathematical Foundations of Computer Science 2015
    Giuseppe F. Italiano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 2015, held in Milan,...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Mathematical Foundations of Computer Science 2015
    Mathematical Foundations of Computer Science 2015
    Giuseppe F Italiano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 2015, held in Milan,...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Trustworthy Global Computing
    Trustworthy Global Computing
    Ugo Montanari
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 prese...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Automata, Languages and Programming
    Automata, Languages and Programming
    Josep Diaz
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Automata, Languages and Programming
    171,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Introduction to Computation
    Introduction to Computation
    Donald Sannella
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Computation is a process of calculation involving arithmetic and logical steps, following a given set of rules (an algorithm).
    37,44 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Recent Trends in Data Type Specification
    Recent Trends in Data Type Specification
    Donald Sannella
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Programming Languages and Systems - ESOP ’94
    Programming Languages and Systems - ESOP ’94
    Donald Sannella
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 Programm...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Mathematical Foundations of Computer Science 2015
    Mathematical Foundations of Computer Science 2015
    Giuseppe F Italiano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 2015, held in Milan,...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Mathematical Foundations of Computer Science 2015
    Mathematical Foundations of Computer Science 2015
    Giuseppe F. Italiano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 2015, held in Milan,...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Introduction to Computation
    Introduction to Computation
    Donald Sannella
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    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 accessi...
    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Algebraic System Specification and Development
    Algebraic System Specification and Development
    Michel Bidoit
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    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 ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>