Back to Search Start Over

Mathematics of Program Construction

Authors :
Jules Desharnais
Béchir Ktari
Claude Bolduc
Source :
Lecture Notes in Computer Science ISBN: 9783642133206, Mathematics of Program Construction
Publication Year :
2010
Publisher :
Springer Berlin Heidelberg, 2010.

Subjects

Subjects :
Symbolic programming
Computer science
business.industry
Object language
Natural language programming
computer.software_genre
High-level programming language
Software construction
Mathematics education
Fifth-generation programming language
Software engineering
business
computer
Interpreter
Programming language theory

Details

ISBN :
978-3-642-13320-6
ISBNs :
9783642133206
Database :
OpenAIRE
Journal :
Lecture Notes in Computer Science ISBN: 9783642133206, Mathematics of Program Construction
Accession number :
edsair.doi...........85e083c152ad3142758f22103f7b2986
Full Text :
https://doi.org/10.1007/978-3-642-13321-3
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details