Reihe Monographs in Computer Science Programming with SpecificationsAn Introduction to ANNA, A Language for Specifying Ada ProgramsDavid LuckhamSpringer USeBook201253,49 € Programming in the 1990sAn Introduction to the Calculation of ProgramsEdward CohenSpringer USeBook201253,49 € String-Rewriting Systems Ronald V. BookSpringer USeBook201253,49 € Logic for Applications Anil NerodeSpringer USeBook201282,38 € First-Order Logic and Automated Theorem Proving Melvin FittingSpringer USeBook201282,38 € Programming Methodology Springer USeBook201296,29 € Parameterized Complexity Rodney G. DowneySpringer USeBook2012255,73 € Computational GeometryAn IntroductionFranco P. PreparataSpringer USeBook201290,94 € Larch: Languages and Tools for Formal Specification John V. GuttagSpringer USeBook2012 What Computing Is All About Jan L.A.van de SnepscheutSpringer USeBook201282,38 €330 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 ...