Peter H. Schmitt – författare
Visar alla böcker från författaren Peter H. Schmitt. Handla med fri frakt och snabb leverans.
8 produkter
Deductive Software Verification – The KeY Book
From Theory to Practice
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2016
1352 kr
Lägg i varukorg
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, …
Deductive Software Verification - The KeY Book
From Theory to Practice
Av Mattias Ulbrich, Peter H. Schmitt m. fl.
E-bok, 2016
1798 kr
Lägg i varukorg
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, …
Nonmonotonic and Inductive Logic
1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
Av Klaus P. Jantke, Peter H. Schmitt
Häftad, 1991
567 kr
Lägg i varukorg
This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive Logic held in Karlsruhe,December 1990. The workshop was supported by theVolkswagen-Stiftung, Hannover, and provided a forum forresearchers from the …
Theorie der logischen Programmierung
Eine elementare Einführung
Häftad, 1992
583 kr
Lägg i varukorg
Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu …
Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
Av Gerhard Brewka, Klaus P. Jantke m. fl.
Häftad, 1993
551 kr
Lägg i varukorg
This proceedings volume contains a selection of revised andextended papers presented at the Second InternationalWorkshop on Nonmonotonic and InductiveLogic, NIL '91, whichtook place at Reinhardsbrunn Castle, December 2-6, 1991.The volume opens with an extended version of a tutorial onnonmonotonic …
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Av Bernhard Beckert, Reiner Hähnle m. fl.
Häftad, 2007
1128 kr
Lägg i varukorg
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including …
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Av Peter H. Schmitt, Reiner Hahnle m. fl.
E-bok, 2007
1502 kr
Lägg i varukorg
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including …
Theorie der logischen Programmierung
Eine elementare Einführung
E-bok, 2013
503 kr
Lägg i varukorg
Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu …
