Mega Collection of computer science and programming related books Formal methods Bowen Formal Specification and Documentation Using Case Study Approach Thomson Computer Press 1996 ISBN 9781850322306 315s CsPl pdf

Mega Collection of computer science and programming related books
Formal methods Bowen Formal Specification and Documentation Using Case Study Approach Thomson Computer Press 1996 ISBN 9781850322306 315s CsPl pdf

Name	Mega Collection of computer science and programming related books	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	5.4 GB
Total Files	1323
Last Seen	2025-06-23 23:39
Hash	8CD8C7BECEDCE94F0EA833013012B4EA0A9C19B8

/Formal methods/Bowen J. Formal Specification and Documentation Using Z.. A Case Study Approach (Thomson Computer Press, 1996)(ISBN 9781850322306)(315s)_CsPl_.pdf	716.6 KB
/Formal methods/Grumberg O. Formal Logical Methods for System Security and Correctness (IOS Press, 2008)(ISBN 9781586038434)(O)(332s)_CsAl_.pdf	1.8 MB
/Formal methods/Gabbar H.A. (eds.) Modern Formal Methods and Applications (Springer, 2006)(ISBN 9781402042232)(216s)_CsPl_.pdf	1.7 MB
/Formal methods/Smith G. The Object-Z Specification Language (Springer, 1999)(ISBN 9780792386841)(159s)_CsPl_.pdf	589.8 KB
/Formal methods/Levelt W.J.M. Introduction to Theory of Formal Languages and Automata (John Benjamins, 2008)(ISBN 9027232504)(152s)_CsAl_.pdf	1.6 MB
/Formal methods/Hoare C.A.R. Communicating sequential processes (web version, 2003)(ISBN 0131532898)(260s)_CsAl_.pdf	1.1 MB
/Formal methods/Woodcock J., Davies J. Using Z.. Specification, Refinement, and Proof (PH, 1996)(ISBN 9780139484728)(O)(408s)_CsPl_.pdf	1.3 MB
/Formal methods/Cooke J. Constructing Correct Software (2ed., Springer, 2005)(ISBN 9783540761563)(O)(515s)_CsAl_.pdf	1.8 MB
/Formal methods/Eilenberg S. Automata, languages, and machines. Volume B (AP, 1976)(ISBN 0122340027)(T)(403s)_CsAl_.djvu	1.9 MB
/Formal methods/Jay B. Pattern Calculus.. computing with patterns and structures (Springer, 2009)(ISBN 3540891846)(O)(213s)_CsAl_.pdf	1.1 MB
/Formal methods/Moszkowski B.C. Executing Temporal Logic Programs (free web version, CUP, 1986)(ISBN 0521310997)(O)(125s)_CsPl_.pdf	503.0 KB
/Formal methods/Amadio R., Curien P.L. Domains and Lambda-calculi (draft, 1996)(ISBN 0521622778)(536s)_Cs_.pdf	3.9 MB
/Formal methods/Fencott C. Formal Methods for Concurrency (Thomson, 1996)(ISBN 1850321736)(600dpi)(T)(306s)_CsAl_.djvu	2.9 MB
/Formal methods/Milner R. Communicating and mobile systems.. the pi-calculus (CUP, 1999)(ISBN 9780521643207)(KA)(T)(171s)_CsAl_.djvu	1.8 MB
/Formal methods/Padawitz P. Deduction and Declarative Programming (CUP, 1992)(ISBN 9780521417235)(T)(285s)_CsAi_.djvu	1.5 MB
Showing first 15 files of 1323 total files