Software Engineering and Formal Methods Image close
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Show Hide Adult Content

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering

Software Engineering and Formal Methods

Sorry, this product is not currently available to order

Here are some other products you might consider...

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$181.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$513.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 20 May 2024
Advances in Cryptology – EUROCRYPT 2024
$307.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 11 Jun 2024
Selected Areas in Cryptography
$180.99
Selected Areas in Cryptography
Paperback / softback
Pre-order - out 23 Jun 2024
Mathematical Foundations of Programming Semantics Save $55
$141.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
7th International Conference on Automated Deduction
$283.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$134.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Computational Intelligence Save $55
$148.99
$204.95
Advances in Computational Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$118.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Aspects of Computer and Information Sciences Save $39
$145.99
$185.95
Mathematical Aspects of Computer and Information Sciences
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming
$189.99
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
DIANA. An Intermediate Language for Ada
$80.99
DIANA. An Intermediate Language for Ada
Paperback / softback
Available - Usually ships in 3-4 weeks
Extreme Programming and Agile Methods - XP/Agile Universe 2002 Save $23
$134.99
$158.95
Extreme Programming and Agile Methods - XP/Agile Universe 2002
Paperback / softback
Available - Usually ships in 3-4 weeks
Trends in Distributed Systems: Towards a Universal Service Market Save $32
$147.99
$180.95
Trends in Distributed Systems: Towards a Universal Service Market
Paperback / softback
Available - Usually ships in 3-4 weeks
Mobile Agents for Telecommunication Applications Save $23
$134.99
$158.95
Mobile Agents for Telecommunication Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Evolutionary Computing Save $63
$140.99
$204.95
Applications of Evolutionary Computing
Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
Unavailable
Sorry, this product is not currently available to order

Description

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.
Release date Australia
February 3rd, 2018
Contributors
  • Edited by Antonio Cerone
  • Edited by Marco Roveri
Pages
592
Edition
1st ed. 2018
Audience
  • Professional & Vocational
Illustrations
204 Illustrations, black and white; X, 592 p. 204 illus.
ISBN-13
9783319747804
Product ID
27556597

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computing: general
Books >
Computers & Internet >
Computer hardware
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence