From Software Engineering to Formal Methods and Tools, and Back Image close
From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
Show Hide Adult Content
From Software Engineering to Formal Methods and Tools, and Back close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Algorithms & data structures

From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$134.99
RRP:
$185.95 save $50.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $33.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-30 July using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

The Language of Mathematics by Mohan Ganesalingam
$191.99
The Language of Mathematics
by Mohan Ganesalingam ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Distributed Computing Save $35
$141.99
$177.95
Distributed Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Sequences and Their Applications - SETA 2014
$135.99
Sequences and Their Applications - SETA 2014
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms and Data Structures
$262.99
Algorithms and Data Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Biomedical Simulation
$133.99
Biomedical Simulation
Paperback / softback
Available - Usually ships in 3-4 weeks
Relational and Algebraic Methods in Computer Science
$135.99
Relational and Algebraic Methods in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Reconfigurable Computing. Architectures, Tools, and Applications Save $13
$135.99
$149.95
Applied Reconfigurable Computing. Architectures, Tools, and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Data and Social Networks
$204.99
Computational Data and Social Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science – ICCS 2018
$284.99
Computational Science – ICCS 2018
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Checking Software Save $13
$135.99
$149.95
Model Checking Software
Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Computing for Computational Science – VECPAR 2016
$135.99
High Performance Computing for Computational Science – VECPAR 2016
Paperback / softback
Available - Usually ships in 3-4 weeks
Network and Parallel Computing
$135.99
Network and Parallel Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science Save $13
$135.99
$149.95
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Network and Parallel Computing
$135.99
Network and Parallel Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Systems Theory – EUROCAST 2017 Save $45
$135.99
$181.95
Computer Aided Systems Theory – EUROCAST 2017
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Rationality, and Interaction
$136.99
Logic, Rationality, and Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.
Release date Australia
September 14th, 2019
Contributors
  • Edited by Alessandro Fantechi
  • Edited by Laura Semini
  • Edited by Maurice H. ter Beek
Pages
574
Edition
1st ed. 2019
Audience
  • Professional & Vocational
Illustrations
91 Illustrations, color; 601 Illustrations, black and white; XIII, 574 p. 692 illus., 91 illus. in color.
ISBN-13
9783030309848
Product ID
31858036

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

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence