Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Programming Concepts and Methods PROCOMET ’98
Home
Publications
Programming Concepts and Methods PROCOMET ’98
Programming Concepts and Methods PROCOMET ’98
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1998
book
Published by
Springer Nature
https://doi.org/10.1007/978-0-387-35358-6
Abstract
No abstract available
Keywords
MATHEMATICA
ALGORITHMS
DESIGN
FORMAL SPECIFICATION
FUNCTIONAL PROGRAMMING
OBJECT
PROGRAMMING
PROGRAMMING LANGUAGE
SECURITY
SEMANTICS
SIMULATION
SOFTWARE
SOFTWARE ENGINEERING
STRUCTURED ANALYSIS
VERIFICATION
References
Cited
This publication has 0 references indexed in Scilit:
Scroll to top