[PDF] program derivation free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


 Fiction Pdf Search   Sci-hubs

8 books found also search"program derivation" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
520018 Samuel Epstein, T. D. Seely Generative Syntax
Derivation and Explanation in the Minimalist Program [1 ed.]
0631227326, 9780631227328
Wiley-Blackwell 2002 330 English 1 Mb pdf GET
185397 Anne Mulkers (auth.) Lecture Notes in Computer Science 675
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation [1 ed.]
3540566945, 9783540566946
Springer-Verlag Berlin Heidelberg 1993 227 English 2 Mb djvu GET
463289 Anne Mulkers (auth.) Lecture Notes in Computer Science 675
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation [1 ed.]
3540566945, 9783540566946
Springer-Verlag Berlin Heidelberg 1993 227 English 10 Mb pdf GET
832601 Robert Paige, J.H. Reif, Ralph Wachter Parallel Algorithm Derivation and Program Transformation [1 ed.]
0792393627, 9780792393627, 9780585273303
Springer 1993 241 English 13 Mb pdf GET
964266 Peter Pepper (auth.), Robert Paige, John Reif, Raplh Watcher (eds.) The Springer International Series In Engineering and Computer Science 231
Parallel Algorithm Derivation and Program Transformation [1 ed.]
978-0-7923-9362-7, 978-0-585-27330-3
Springer US 1993 228 English 14 Mb pdf GET
892637 G. Dromey Program Derivation - The Devel. of Pgms From Specifications Addison-Wesley 1989 648 English 40 Mb pdf GET
597095 Dromey G. International Computer Science Series
Program derivation: development of programs from specifications
0201416247, 9780201416244
AW 1989 648 English 5 Mb djvu GET
111555 A. Kaldewaij Prentice-Hall International Series in Computer Science
Programming: the derivation of algorithms
0132041081, 9780132041089
Prentice Hall 1990 117 English 8 Mb pdf GET

If no results, Please search program derivation here Again

Random Recommend
 Гельмут Пабст
Мандзяк А.С.
П. А. Куренков


Manuel De Landa
А.В.Карпенко, Н.И.Шумков

А. Т. Степанец
David Nicolle, Angus McBride
А.В. Карпенко (составитель)
Д. Ушаков
George H. Allen
George H. Allen


Laurence Yard Smith
William Gilbert Cassard

Ганс Гейнц Рефельд

Главное управление начальника артиллерии Красной Армии
Frank T. Hines, Franklin W. Ward
George H. Allen
George H. Allen
Апальков Ю.В.
Janusz Magnuski
Thomas Beyer



Эллиот Рузвельт

A. T. Stewart

J. M. Spaight

Куприянов А.Н.

В. Г. Рохмистров





Tidball, John C. (John Caldwell),
Sir John Hammerton (Ed.)

Frederick Morse Cutler

 Феррейра П.(Ferreira)
Чульский Л.А.
Иваненко Д.Д. (ред.)
Фам Ф.(Pham F.)

Меркурьев С.П., Фаддеев Л.Д.
Елютин П.В., Кривченков В.Д.
Бароне А., Патерно Дж.
Иоффе А.Ф.
Гофман Ю.В.
Касаткина И.Л.
Соколовский Ю.И.
Бажин Н.М., и др.
Базаров И.П., Геворкян Э.В., Николаев П.Н.
Березин Ф.А.
Карлеман Т.(Carleman T.)
Мартынов Г.А.
Андронов А.А.
Ларкин А.И.
Котельников И.А., Чеботаев П.З.
Львовский С.М.
Keith J. Gooch, Christopher J. Tennant
Jeff Hardin, Gregory Paul Bertoni, Lewis J. Kleinsmith
Amit Kessel, Nir Ben-Tal
Jennifer Stearns, Michael Surette
George P. Canellos, T. Andrew Lister, Bryan Young (ed.)
Karen E. Drummond, Lisa M. Brefere
Gert Folkerts, Johan Garssen (ed.)
Francine Foss (ed.)
David W. Group
Chris Hatton, Graham Collins, John Sweetenham
Liang Liu, Zhanwen Liu (ed.)
Jacqueline L. Longe (ed.)
Gunina L.M., Oleynik S.A (eds.)
Martha S. Rosenthal
Gerard J. Tortora, Bryan H. Derrickson
Robert Brooker
William S. Klug, Michael R. Cummings, Charlotte A. Spencer, Michael A. Palladino
Russell P.J.
Duward Shriver, Peter Atkins
Robert A. Copeland
Peter W. Hochachka, George N. Somero
Lajos Kovács, Dezso Csupor, Gábor Lente, Tamás Gunda
James M. Miller
Nabeshima T. (ed.)
Lucjan Piela
Peter Atkins, Julio de Paula
Glenford J. Myers
Ethem Alpaydin
Juan Ramon Rabunal Dopico, Julian Dorado de La Calle, Alejandro Pazos Sierra (ed.)

business studieslinux kernelinelastic scatteringcalcium signallingigenoiseconversion efficiencyimagehuman factorssocial sciencequality assurancemicroencapsulationthree dimensionalductilityutilitieshumanidadesmicrosatelliteswearionospheremarketing strategysemantic interpretationtoxicitygame theoryoptimization problembiotransformationlandslideglass transition temperaturecholinergic neuronsapplied scienceergonomicsparticlestoxicologygenomeobesitygeographysuperconductorshumanidadesbatch processlifelong learningdevelopment processbioinformaticsdiffusion coefficientenergy levels2gamma rayclimatic changeorganic mattermagnetic resonance imagecapacitance