Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Zohar. Manna 19 träffar

Titel Författare År Språk
1 The logical basis for computer programming Zohar Manna 1985-1990 Engelska
2 The logical basis for computer programming Vol. 1, Deductive reasoning Zohar Manna cop. 1985 Engelska
3 The logical basis for computer programming Vol. 2, Deductive systems Zohar Manna cop. 1990 Engelska
4 The temporal logic of reactive and concurrent systems Zohar Manna 1992-9999 Engelska
5 The temporal logic of reactive and concurrent systems, Specification Zohar Manna Cop. 1992 Engelska
6 Mathematical theory of computation Zohar Manna cop. 1974 Engelska
7 Temporal verification of reactive systems - safety Zohar Manna c1995 Engelska
8 Studies in automatic programming logic Zohar Manna cop. 1977 Engelska
9 Lectures on the logic of computer programming Zohar Manna cop. 1980 Engelska
10 Verification. - theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday 2004 Engelska
11-12 The calculus of computation - decision procedures with applications to verification (flera utgåvor) Aaron R. Bradley 2007 Engelska
13 Time for Verification - Essays in Memory of Amir Pnueli Zohar. Manna 2010 Engelska
14 Lectures on the logic of computer programming / Zohar Manna Zohar. Manna uuuu-uuuu Okänt
15 The Temporal Logic of Reactive and Concurrent Systems Zohar Manna 1991 Okänt
16-17 The Temporal Logic of Reactive and Concurrent Systems electronic resource : Specification / by Zohar Manna, Amir Pnueli (flera utgåvor) Zohar. author. Manna uuuu-uuuu Okänt
18 Calculus of Computation: Decision Procedures With Applications to Verification Aaron R. Bradley 2007 Okänt
19 Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli Zohar Manna uuuu-uuuu Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.