Cover: HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES - Logos Berlin

HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES

Haykal Tej(Author)
Logos Berlin (Publisher)
1st Edition
Published on 10. August 2003
Book
Paperback/Softback
156 pages
978-3-8325-0287-4 (ISBN)
€40.50incl. 7% vat
Article not available

More details