0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Paperback, 2015 ed.) Loot Price: R2,606
Discovery Miles 26 060
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014,...

Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Paperback, 2015 ed.)

Ivan Lanese, Eric Madelaine

Series: Programming and Software Engineering, 8997

 (sign in to rate)
Loot Price R2,606 Discovery Miles 26 060 | Repayment Terms: R244 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Programming and Software Engineering, 8997
Release date: February 2015
First published: 2015
Editors: Ivan Lanese • Eric Madelaine
Dimensions: 235 x 155 x 21mm (L x W x T)
Format: Paperback
Pages: 385
Edition: 2015 ed.
ISBN-13: 978-3-319-15316-2
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 3-319-15316-1
Barcode: 9783319153162

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..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,551 Discovery Miles 25 510
C++ Programming - Program Design…
D. Malik Paperback R1,751 R1,615 Discovery Miles 16 150
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,917 Discovery Miles 19 170
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,186 Discovery Miles 41 860
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,440 Discovery Miles 14 400
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,349 Discovery Miles 13 490
Core Java for the Impatient
Cay Horstmann Paperback R1,097 Discovery Miles 10 970
Discovering Modern C++
Peter Gottschling Paperback R1,103 Discovery Miles 11 030
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,609 Discovery Miles 26 090
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R682 Discovery Miles 6 820
Get Started Programming with Python…
Manuel Mcfeely Hardcover R821 R710 Discovery Miles 7 100

See more

Partners