
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)
More details
Series
Thesis
Doctoral thesis
Universität Bremen
Edition
1., Aufl.
Language
English
Dimensions
Height: 21 cm
Width: 14.5 cm
ISBN-13
978-3-8325-0287-4 (9783832502874)
Schweitzer Classification