Specification And Transformation of Programs
Specification and Transformation of Programs: A Formal Approach to Software Development eBooks & eLearning
Posted by step778 at June 6, 2016
Helmut A. Partsch, "Specification and Transformation of Programs: A Formal Approach to Software Development"
2008 | pages: 508 | ISBN: 3540525890 | DJVU | 4,8 mb
2008 | pages: 508 | ISBN: 3540525890 | DJVU | 4,8 mb
Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 19 eBooks & eLearning
Posted by insetes at Dec. 26, 2024
Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings By Michael Leuschel (auth.), Maurizio Proietti (eds.)
1996 | 274 Pages | ISBN: 3540609393 | PDF | 5 MB
1996 | 274 Pages | ISBN: 3540609393 | PDF | 5 MB
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Select eBooks & eLearning
Posted by insetes at Feb. 24, 2019
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers By Norbert E. Fuchs, Uta Schwertel (auth.), Pierre Flener (eds.)
1999 | 338 Pages | ISBN: 3540657657 | PDF | 5 MB
1999 | 338 Pages | ISBN: 3540657657 | PDF | 5 MB
Foundations of Software Science and Computational Structures eBooks & eLearning
Posted by priava at May 30, 2009
Foundations of Software Science and Computational Structures
Springer | ISBN: 3540784977 | 2008-04-28 | PDF | 505 pages | 5 Mb
Control Flow and Data Flow: Concepts of Distributed Programming eBooks & eLearning
Posted by DZ123 at Jan. 10, 2017
Manfred Broy, Friedrich L. Bauer, E.W. Dijkstra, "Control Flow and Data Flow: Concepts of Distributed Programming"
English | 1986 | ISBN: 3540170820 | DJVU | pages: 529 | 5.7 mb
English | 1986 | ISBN: 3540170820 | DJVU | pages: 529 | 5.7 mb
«BPEL and Java Cookbook» by Jurij Laznik eBooks & eLearning
Posted by Gelsomino at Nov. 29, 2023
Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joi eBooks & eLearning
Posted by insetes at Dec. 5, 2018
Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedin By Martín Abadi (auth.), Wolfgang Thomas (eds.)
1999 | 330 Pages | ISBN: 3540657193 | PDF | 35 MB
1999 | 330 Pages | ISBN: 3540657193 | PDF | 35 MB
Computer Science Logic eBooks & eLearning
Posted by lout at Nov. 6, 2011
Computer Science Logic By Anuj Dawar, Helmut Veith
Publisher: Sp..rin..ger 2010 | 562 Pages | ISBN: 364215204X | PDF | 6 MB
Publisher: Sp..rin..ger 2010 | 562 Pages | ISBN: 364215204X | PDF | 6 MB
Computer Science Logic (repost) eBooks & eLearning
Posted by libr at June 11, 2013
Computer Science Logic By Anuj Dawar, Helmut Veith
English | 2010 | 562 Pages | ISBN: 364215204X | PDF | 6,4 MB
English | 2010 | 562 Pages | ISBN: 364215204X | PDF | 6,4 MB
This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. The 33 full papers presented together with 7 invited talks, were carefully reviewed and selected from 103 submissions.
Chromatin Regulation of Early Embryonic Lineage Specification (Advances in Anatomy, Embryology and Cell Biology) eBooks & eLearning
Posted by hill0 at Nov. 25, 2017
Chromatin Regulation of Early Embryonic Lineage Specification (Advances in Anatomy, Embryology and Cell Biology) by Jason Knott
English | 26 Dec. 2017 | ISBN: 3319631861 | 78 Pages | PDF | 2.13 MB
English | 26 Dec. 2017 | ISBN: 3319631861 | 78 Pages | PDF | 2.13 MB
Five leaders in the field of mammalian preimplantation embryo development provide their own perspectives on key molecular and cellular processes that mediate lineage formation during the first week of life.