Items related to Software Engineering and Formal Methods: 20th International...

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science) - Softcover

 
9783031171079: Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science)

Synopsis

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. 

The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. 

"synopsis" may belong to another edition of this title.

Buy Used

Zustand: Hervorragend | Seiten:...
View this item

US$ 52.26 shipping from Germany to U.S.A.

Destination, rates & speeds

Search results for Software Engineering and Formal Methods: 20th International...

Stock Image

Published by Springer, 2022
ISBN 10: 3031171071 ISBN 13: 9783031171079
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLING22Oct2817100391655

Contact seller

Buy New

US$ 93.80
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2022
ISBN 10: 3031171071 ISBN 13: 9783031171079
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783031171079_new

Contact seller

Buy New

US$ 81.72
Convert currency
Shipping: US$ 16.08
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Schlingloff, Bernd-Holger
Published by Springer 2022-09, 2022
ISBN 10: 3031171071 ISBN 13: 9783031171079
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783031171079

Contact seller

Buy New

US$ 80.54
Convert currency
Shipping: US$ 20.78
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Ming Chai
ISBN 10: 3031171071 ISBN 13: 9783031171079
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. 388 pp. Englisch. Seller Inventory # 9783031171079

Contact seller

Buy New

US$ 83.18
Convert currency
Shipping: US$ 26.71
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Unbekannt
ISBN 10: 3031171071 ISBN 13: 9783031171079
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Hervorragend. Zustand: Hervorragend | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 40529440/1

Contact seller

Buy Used

US$ 58.53
Convert currency
Shipping: US$ 52.26
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 3 available

Add to basket

Stock Image

Published by Springer, 2022
ISBN 10: 3031171071 ISBN 13: 9783031171079
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP. Seller Inventory # 26396295914

Contact seller

Buy New

US$ 113.56
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2022
ISBN 10: 3031171071 ISBN 13: 9783031171079
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand. Seller Inventory # 401162549

Contact seller

Buy New

US$ 116.01
Convert currency
Shipping: US$ 8.72
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

ISBN 10: 3031171071 ISBN 13: 9783031171079
New Kartoniert / Broschiert

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Kartoniert / Broschiert. Condition: New. Seller Inventory # 693976964

Contact seller

Buy New

US$ 73.63
Convert currency
Shipping: US$ 56.89
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2022
ISBN 10: 3031171071 ISBN 13: 9783031171079
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND. Seller Inventory # 18396295904

Contact seller

Buy New

US$ 126.57
Convert currency
Shipping: US$ 11.56
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Ming Chai
ISBN 10: 3031171071 ISBN 13: 9783031171079
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch. Seller Inventory # 9783031171079

Contact seller

Buy New

US$ 83.18
Convert currency
Shipping: US$ 63.87
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 2 more copies of this book

View all search results for this book