Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Ada
:
Translating Formal Specifications of Transfer-Protocols to Ada95
Link Details for:
Translating Formal Specifications of Transfer-Protocols to Ada95
Link Title:
Translating Formal Specifications of Transfer-Protocols to Ada95
Link URL:
http://www.exp-math.uni-essen.de/~ajung/fdl-pres/
Link Details:
Ada95 and Formal Specifications in cTLA+.
Category:
Top : Computers : Programming : Languages : Ada
Link Type:
ScreenShot: