Yazar
Martin Erwig
12 cilt bulundu.
Cilt sonuçları
Software Language Engineering
Martin Erwig, Richard F. Paige, Eric Van Wyk · Springer London, Limited
397 sayfa · 2013
Software engineering / Programming languages (electronic computers) / Computer software, development / Artificial Intelligence (incl. Robotics) / Computer science
Update your program?
Martin Erwig · Oregon State University, Dept. of Computer Science
22 sayfa · 2002
Lambda calculus / Computer programs
An update calculus for expressing type-safe program updates
Martin Erwig · Oregon State University, Dept. of Computer Science
22 sayfa · 2002
Lambda calculus / Computer programs
Compiling generic mathematical tool descriptions into Fortran
Martin Erwig · Oregon State University, Dept. of Computer Science
13 sayfa · 2002
Oceanography / Embedded computer systems / Computer simulation / Programming / FORTRAN (Computer program language)