MPG.eBooks - Description: Automated Technology for Verification and Analysis

Read Now

Bibliographic Details
Other Authors:	Namjoshi, Kedar (Editor), Yoneda, Tomohiro (Editor), Higashino, Teruo (Editor), Okamura, Yoshio (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2007, 2007
Edition:	1st ed. 2007
Series:	Programming and Software Engineering
Subjects:	Computer Communication Networks Computer Science Logic And Foundations Of Programming Software Engineering Computer Science Computer-aided Engineering (cad, Cae) And Design Computer Networks Computer-aided Engineering Special Purpose And Application-based Systems Computers, Special Purpose
Online Access:	https://doi.org/10.1007/978-3-540-75596-8?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Description
Physical Description:	XIV, 570 p online resource
ISBN:	9783540755968