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: C. A. R. (Charles Antony Richard) Hoare 10 träffar

Titel Författare År Språk
1 Structured programming C. A. R. (Charles Antony Richard) Hoare Edsger Wybe Dijkstra Ole-Johan Dahl 1972 Engelska
2 Mathematical logic and programming languages J. C. Shepherdson C. A. R. (Charles Antony Richard) Hoare cop. 1985 Engelska
3 Developments in concurrency and communication C. A. R. (Charles Antony Richard) Hoare cop. 1990 Engelska
4 Scientific applications of multiprocessors Roger Elliott C. A. R. (Charles Antony Richard) Hoare 1989 Engelska
5 Essays in computing science Cliff Bryn Jones C. A. R. (Charles Antony Richard) Hoare 1989 Engelska
6 VDM '90 - VDM and Z - formal methods in software development : proceedings Hans Langmaack C. A. R. (Charles Antony Richard) Hoare Dines Bjørner cop. 1990 Engelska
7 Operating systems techniques - proceedings of a seminar held at Queen's university, Belfast, 1971 C. A. R. (Charles Antony Richard) Hoare Ronald Henry Perrott 1972 Engelska
8 The mathematics of programming - an inaugural lecture delivered before the University of Oxford on 17th October 1985 C. A. R. (Charles Antony Richard) Hoare 1986 Engelska
9 Mechanized reasoning and hardware design - a discussion M. J. C. Gordon C. A. R. (Charles Antony Richard) Hoare 1992 Engelska
10 Communicating sequential processes C. A. R. (Charles Antony Richard) Hoare cop. 1985 Engelska

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.