Series Prentice-Hall International Series in Computer Science
16 Works
Popularity 14,777 (708 Members)
938 Books
3 Reviews
4.0
- The Algebra of Programming by Richard Bird
- Communicating Sequential Processes by C.A.R. Hoare
- Communication and Concurrency by Robin Milner
- Computational Category Theory by D. E. Rydeheard
- Computer Science: A Modern Introduction by Les Goldschlager
- Implementing functional languages by Simon L. Peyton Jones
- Introduction to PASCAL by Jim Welsh
- Mathematical Logic and Programming Languages by C.A.R. Hoare
- Object-Oriented Software Construction by Bertrand Meyer
- Principles of Concurrent and Distributed Programming by M. Ben-Ari
- Principles of Programming Languages by R. D. Tennent
- Programming from Specifications by Carroll Morgan
- Programming Language Concepts and Paradigms by David A. Watt
- Programming: The Derivation of Algorithms by A. Kaldewaij
- Using Z: Specification, Refinement, and Proof by Jim Woodcock
- Verifiable Programming by Ole-Johan Dahl
Tags
Top Members
draganigajic (6 works), aegean (6), pgourdin (5), bvs (5), dds (5), bdkl (4), zhuazhua88 (4), morphismus (4), CMUQLResearch (4), hunan.rostomyan (4), tlockney (4), marc.frei (4), Graffotti (4), ComputerHistory (4), SimonBarrett (4), prengel90 (3), gbooch (3), eatonphil (3), cssa (3), mainland (3), Datahistorisk (3), shingarov (3), steshaw (3), hemlisp (3), akopete (3), update (3), noreenj (3), shebiki (3), apgarcia (3), raymond_and_sarah (3), QualityFrog (3), giorgio_v (3), AFBorchert (3), brnhwrd (2), davidjsherman (2), cydpom (2), rds56 (2), jbrubaker999 (2), JGOY (2), frasers5 (2), mdko (2), KBKarma (2), rri (2), isovector (2), agashlin (2), thsutton (2), johnrose00 (2), 4soft (2), Earl_Stroup (2), crosstowncoder (2), DarbLibrary (2), phillner (2), juripakaste (2), WAILibrary (2), siandra11 (2), particlemania (2), paul.0.nicholson (2), Mux79 (2), blackwinter (2), edorrington (2), rogpal (2), akyos (2), xyzzy77 (2), laguvajra (2), jmdyck (2), JonasH (2), hchalkley (2), VesnaC (2), Garbanzo (2), geoffswift (2), heta01 (2), perdita_fysh (2), HarryBahnsen (2), nickleaton (2), evan.kirshenbaum (2), scg (2), nounours (2), geoff.halprin (2), wbmccarty (2), wdavidlewis (2), anzu (2), peterdmark (2), glwebb (2), rkellerbookdrive (2), Technorati (2), nmg (2), mkjones (2), colus (2), jmvidal (2), afbroman (2), DanielDittmar (2), nillacat (2), fgx3prak (2), marlineller (2), tomhudson (2), nocebo (2), elhoim (2), matt (2), andybookworm (1), Traivor (1), liorb (1), jorgepena (1), potator (1), willbriggs (1), pepavlou (1), DutchPirate (1), jfedoruk (1), dstearns0 (1), lstrano (1), keemkeem (1), PippiBoeke (1), camscout101 (1), rcfroggatt786 (1), drchuckgraham (1), gklimowicz (1), SMI.Library (1), Buchmerkur (1), laughingshrews (1), forniax (1), BerrinSerdar (1), jjnash (1), OsbornBooks (1), odnia (1), twilde (1), alexHernande (1), pete_rowanbank (1), LibraryT0 (1), RHeli (1), deathgrindfreak (1), keeoon (1), igravious (1), aabdelrahmanm (1), jhylton (1), bierbais (1), arico90 (1), danielb309 (1), jeffsbookcatalog (1), UNH2015 (1), NachoSeco (1), Monty_Grover (1), kylesimpson (1), clang13 (1), BrennanMacKay (1), csawabini (1), asheingold (1), zdrazil (1), Ondrashek (1), ProfessorsTreasures (1), oruiz (1), jciern2 (1), sjfloat (1), Andy_Dingley (1), compraxis (1), bunnyladame (1), aFewMooreBooks (1), tbr00 (1), Quinnter (1), Andrzej_P (1), Surya_Singh (1), lucasbang (1), lipidity (1), Ylibrary (1), demorgan (1), shefferstroke (1), HansJHansen (1), cole_d_miller (1), banjiewen (1), lakkal (1), ptumsl (1), ttuckerman (1), SmithRooneyLibrary (1), tgrosinger (1), theblanc (1), libib479 (1), lgadelha (1), hallams (1), Mnemonikos (1), asfbeh6 (1), KJ123 (1), ushamoyouno (1), simonacook (1), JonathonMA (1), sims40 (1), p_ronto (1), cleague (1), AmandaMoira (1), Lynxlady (1), abj23 (1), Fips (1), K_R_Smith (1), cemontijo (1), D.Steinhoff (1), jukofyork (1), brikis98 (1), thomax (1), dipakc (1), timboman.frazier (1), MITLibStaff (1), aviatrix17 (1), ragunn (1)