Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : OCLC:1154218838
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings by : Alessandra Russo

Download or read book Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings written by Alessandra Russo and published by . This book was released on 2018 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification.

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Related Books

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Language: en
Pages:
Authors: Alessandra Russo
Categories:
Type: BOOK - Published: 2018 - Publisher:

GET EBOOK

Computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics;
Fundamental Approaches to Software Engineering
Language: en
Pages: 452
Authors: Matthew B. Dwyer
Categories: Computers
Type: BOOK - Published: 2007-07-04 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga,
Fundamental Approaches to Software Engineering
Language: en
Pages: 389
Authors: Tom Maibaum
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

GET EBOOK

ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in
Fundamental Approaches to Software Engineering
Language: en
Pages: 395
Authors: Gabriele Taentzer
Categories: Business & Economics
Type: BOOK - Published: 2010-03-16 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos
Fundamental Approaches to Software Engineering
Language: en
Pages: 353
Authors: Ralf-Detlef Kutsche
Categories: Computers
Type: BOOK - Published: 2003-08-01 - Publisher: Springer

GET EBOOK

ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establis