Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Alessandro Cimatti , Marjan Sirjani
아직 평점이 없습니다
2017 · 영어 · 킨들
서가에 추가

이 책 평가하기

도서 일지 내보내기

설명

This collection showcases the groundbreaking work presented at the 15th International Conference on Software Engineering and Formal Methods, held in Trento, Italy. Bringing together experts from around the globe, it delves into innovative methodologies and approaches that enhance software engineering practices.

Readers will find a wealth of knowledge on formal methods, providing insights into rigorous software development techniques. The proceedings highlight the latest research, exploring the intersection of theory and practical application, making it a valuable resource for scholars and industry professionals aiming to elevate their understanding of software engineering.

책 세부 정보

형식 킨들
페이지 434 페이지
언어 영어
출판됨 8월 24, 2017
출판사 Springer
ISBN-10 3319661973
ISBN-13 9783319661971

장르들

과학 & 기술

비슷한 책들

In Search of the Sublime Part II: The Modern World: A world history of humanity's relentless pursuit of scientific truth, moral excellence, and enlightenment

In Search of the Sublime Part II: The Modern World: A world history of humanity's relentless pursuit of scientific truth, moral excellence, and enlightenment

MSc. Stephan P Dinkgreve
Internet of Everything for Smart City and Smart Healthcare Applications

Internet of Everything for Smart City and Smart Healthcare Applications

Nishu Gupta
Your Singing Questions Answered: A Handbook for Beginning Singers

Your Singing Questions Answered: A Handbook for Beginning Singers

Jeff Moore
Science and Christianity: Conflict or Coherence?

Science and Christianity: Conflict or Coherence?

Henry F. Schafer III
Photorefractive Fiber and Crystal Devices

Photorefractive Fiber and Crystal Devices

Society of Photo-Optical Instrumentation Engineers
The Art Collection of the Late Mrs. S. B. Duryea, of Brooklyn, N. Y: Curios and Weapons from Oceania, Asia, Europe and America, Arms and Armor, ... Ivory and Wooden Carvings, Lacquer, Potter

The Art Collection of the Late Mrs. S. B. Duryea, of Brooklyn, N. Y: Curios and Weapons from Oceania, Asia, Europe and America, Arms and Armor, ... Ivory and Wooden Carvings, Lacquer, Potter

Anderson Galleries
Fundamentals of Lightning

Fundamentals of Lightning

Vladimir Rakov
Plants

Plants

John M. Lammert
In Search of the Sublime Part II: The Modern World: A world history of humanity's relentless pursuit of scientific truth, moral excellence, and enlightenment

In Search of the Sublime Part II: The Modern World: A world history of humanity's relentless pursuit of scientific truth, moral excellence, and enlightenment

MSc. Stephan P Dinkgreve
Internet of Everything for Smart City and Smart Healthcare Applications

Internet of Everything for Smart City and Smart Healthcare Applications

Nishu Gupta
Your Singing Questions Answered: A Handbook for Beginning Singers

Your Singing Questions Answered: A Handbook for Beginning Singers

Jeff Moore
Science and Christianity: Conflict or Coherence?

Science and Christianity: Conflict or Coherence?

Henry F. Schafer III
Photorefractive Fiber and Crystal Devices

Photorefractive Fiber and Crystal Devices

Society of Photo-Optical Instrumentation Engineers
The Art Collection of the Late Mrs. S. B. Duryea, of Brooklyn, N. Y: Curios and Weapons from Oceania, Asia, Europe and America, Arms and Armor, ... Ivory and Wooden Carvings, Lacquer, Potter

The Art Collection of the Late Mrs. S. B. Duryea, of Brooklyn, N. Y: Curios and Weapons from Oceania, Asia, Europe and America, Arms and Armor, ... Ivory and Wooden Carvings, Lacquer, Potter

Anderson Galleries
Fundamentals of Lightning

Fundamentals of Lightning

Vladimir Rakov
Plants

Plants

John M. Lammert
Democratisation in the 21st Century: Reviving Transitology

Democratisation in the 21st Century: Reviving Transitology

Mohammad-Mahmoud Ould Mohamedou
R Data Mining: Implement Data Mining Techniques through Practical Use Cases and Real World Datasets

R Data Mining: Implement Data Mining Techniques through Practical Use Cases and Real World Datasets

Andrea Cirillo
Sustainable Soil Management

Sustainable Soil Management

Deirdre Rooney
British Motorcycles of the 1960's

British Motorcycles of the 1960's

Roy H. Bacon
Renewable Bioresources: Scope and Modification for Non Food Applications

Renewable Bioresources: Scope and Modification for Non Food Applications

Christian V. Stevens
Photography, Natural History and the Nineteenth-Century Museum: Exchanging Views of Empire

Photography, Natural History and the Nineteenth-Century Museum: Exchanging Views of Empire

Kathleen Davidson
Winter Nights Entertainment

Winter Nights Entertainment

RM Abraham
Handbook of Thermoset Plastics, Second Edition (Plastics & Elastomers) 2nd (second) Edition

Handbook of Thermoset Plastics, Second Edition (Plastics & Elastomers) 2nd (second) Edition

Sidney H. Goodman
Model Driven Security for the Realization of Dynamic Security Requirements: In Collaborative Systems

Model Driven Security for the Realization of Dynamic Security Requirements: In Collaborative Systems

Masoom Alam
Dr. Homi Bhabha Young Scientist Examination :

Dr. Homi Bhabha Young Scientist Examination :

Rahul Ogale
A thankfull remembrance of Gods mercie. In an historical collection of the great and mercifull deliuerances of the church and state of England, since the gospell beganne here to flourish, from the beginning of Queene Elizabeth

A thankfull remembrance of Gods mercie. In an historical collection of the great and mercifull deliuerances of the church and state of England, since the gospell beganne here to flourish, from the beginning of Queene Elizabeth

George Carleton
The Philosophy of Religion, Vol. 2: On the Basis of Its History

The Philosophy of Religion, Vol. 2: On the Basis of Its History

Otto Pfleiderer
서가에 추가

이 책 평가하기

도서 일지 내보내기