Specification, Algebra, and Software PDF
By:Shusaku Iida,José Meseguer,Kazuhiro Ogata
Published on 2014-03-01 by Springer
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.
This Book was ranked at 22 by Google Books for keyword Computers Technology Programming novel.
Book ID of Specification, Algebra, and Software's Books is FgK6BQAAQBAJ, Book which was written byShusaku Iida,José Meseguer,Kazuhiro Ogatahave ETAG "fMT/vNlEwy4"
Book which was published by Springer since 2014-03-01 have ISBNs, ISBN 13 Code is 9783642546242 and ISBN 10 Code is 3642546242
Reading Mode in Text Status is false and Reading Mode in Image Status is true
Book which have "657 Pages" is Printed at BOOK under CategoryComputers
Book was written in en
eBook Version Availability Status at PDF is true and in ePub is false
Book Preview
Download Specification, Algebra, and Software PDF Free
Download Specification, Algebra, and Software Books Free
Download Specification, Algebra, and Software Free
Download Specification, Algebra, and Software PDF
Download Specification, Algebra, and Software Books
Tidak ada komentar:
Posting Komentar