Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95

GO Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95


Author: Bernhard Steffen, Ed Brinksma, Kim G. Larsen, Tiziana Margaria, W. Rance Cleaveland
Type: eBook
Language: English
Released: 1995
Publisher: Springer
Page Count: 298
Format: djvu
ISBN-10: 3540606300
ISBN-13: 9783540606307
Tags:Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Teaches students to use the language of sythesis directly (utilizing the grammar of synthon and disconnection) rather than translating it into that of organic chemistry. From the Publisher Teaches students to use the language of sythesis directly (utilizing the grammar of synthon and disconnection) rather than translating it into that of organic chemistry.