Items related to Software Engineering and Formal Methods: 12th International...

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Softcover

 
9783319104324: Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Softcover
ISBN 10: 3319104322 ISBN 13: 9783319104324
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

Program Verification.- Testing.- Component-Based Systems.- Real-Time and Embedded Systems.- Model Checking and Automata Learning.- Tool Papers.- Program Correctness.- Adaptive and Multi-Agent Systems.

"synopsis" may belong to another edition of this title.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319104300: Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings: 8702 (Lecture Notes in Computer Science, 8702)

Featured Edition

ISBN 10:  3319104306 ISBN 13:  9783319104300
Publisher: Springer, 2014
Softcover