Correct-By-Construction Approaches for Soc Design
by Roopak Sinha,Parthasarathi Roop,Samik Basu
ISBN 13: 9781461478638
Format: Hardcover (168 pages) Publisher: Springer Published: 02 Sep 2013
Save for later
Service-Oriented Computing: 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings: 8274 (Lecture Notes in Computer Science)
by Samik Basu,Cesare Pautasso,Liang Zhang,Xiang Fu
ISBN 13: 9783642450044
Format: Paperback (732 pages) Publisher: Springer Published: 13 Nov 2013
Correct-by-Construction Approaches for SoC Design
ISBN 13: 9781489986399
Format: Paperback (168 pages) Publisher: Springer Published: 23 Aug 2015