0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings (Paperback, 1st ed. 2017) Loot Price: R2,759
Discovery Miles 27 590
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017,...

Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings (Paperback, 1st ed. 2017)

Alessandro Cimatti, Marjan Sirjani

Series: Lecture Notes in Computer Science, 10469

 (sign in to rate)
Loot Price R2,759 Discovery Miles 27 590 | Repayment Terms: R259 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 10469
Release date: August 2017
First published: 2017
Editors: Alessandro Cimatti • Marjan Sirjani
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 410
Edition: 1st ed. 2017
ISBN-13: 978-3-319-66196-4
Categories: Books > Computing & IT > Computer programming > Software engineering
Promotions
LSN: 3-319-66196-5
Barcode: 9783319661964

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Programming Logic & Design…
Joyce Farrell Paperback R1,253 R1,123 Discovery Miles 11 230
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,084 Discovery Miles 40 840
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,296 Discovery Miles 12 960
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,274 Discovery Miles 22 740
Software Engineering for Real-Time…
Jim Cooling Paperback R2,301 R2,130 Discovery Miles 21 300
Software Requirements - Styles and…
Soren Lauesen Paperback R2,045 Discovery Miles 20 450
Design and Use of Software Architectures…
Jan Bosch Paperback R1,646 Discovery Miles 16 460
Software Requirements And Specifications…
M. Jackson Paperback R1,478 Discovery Miles 14 780
Software Inspection
Tom Gilb, Dorothy Graham Paperback R1,726 Discovery Miles 17 260
Principles of Big Graph: In-depth…
Ripon Patgiri, Ganesh Chandra Deka, … Hardcover R4,068 Discovery Miles 40 680
Software Architecture in Practice
Len Bass, Paul Clements, … Paperback R1,611 R1,403 Discovery Miles 14 030
ISE Object-Oriented Software…
David Kung Paperback R1,849 Discovery Miles 18 490

See more

Partners