Software Engineering And Formal Methods : 19Th International Conference, Sefm 2021, Virtual Event, December 610, 2021, Proceedings

Name: Software Engineering And Formal Methods : 19Th International Conference, Sefm 2021, Virtual Event, December 610, 2021, Proceedings
Brand: Springer
SKU: 9783030921231
Price: 108.02 USD
Availability: InStock

Springer

SKU:

9783030921231

ISBN13:

9783030921231

$108.02

(No reviews yet)

Condition:

New

Facebook
Twitter
Linkedin
Pinterest

| Author: Radu Calinescu, Corina S. Pasareanu
| Publisher: Springer
| Publication Date: Jan 03, 2022
| Number of Pages: 540 pages
| Language: English
| Binding: Paperback
| ISBN-10: 3030921239
| ISBN-13: 9783030921231

Author:: Radu Calinescu, Corina S. Pasareanu
Publisher:: Springer
Publication Date:: Jan 03, 2022
Number of pages:: 540 pages
Language:: English
Binding:: Paperback
ISBN-10:: 3030921239
ISBN-13:: 9783030921231

Quick view Add to Cart

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 610, 2021, ... (Lecture Notes in Computer Science, 13230)

$87.33

Springer
Quick view Add to Cart

Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28û29, 2021, Proceedings

$61.47

Springer
Quick view Add to Cart

Formal Methods: Foundations And Applications : 24Th Brazilian Symposium, Sbmf 2021, Virtual Event, December 610, 2021, Proceedings

$66.64

Springer
Quick view Add to Cart

Cooperative Design, Visualization, And Engineering: 18Th International Conference, Cdve 2021, Virtual Event, October 2427, 2021, Proceedings (Lecture Notes In Computer Science)

$87.33

Springer

Software Engineering And Formal Methods : 19Th International Conference, Sefm 2021, Virtual Event, December 610, 2021, Proceedings

Description

Additional Information

Related Products

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 610, 2021, ... (Lecture Notes in Computer Science, 13230)

Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28û29, 2021, Proceedings

Formal Methods: Foundations And Applications : 24Th Brazilian Symposium, Sbmf 2021, Virtual Event, December 610, 2021, Proceedings

Cooperative Design, Visualization, And Engineering: 18Th International Conference, Cdve 2021, Virtual Event, October 2427, 2021, Proceedings (Lecture Notes In Computer Science)

Software Engineering And Formal Methods : 19Th International Conference, Sefm 2021, Virtual Event, December 610, 2021, Proceedings

Write a Review

Springer

Software Engineering And Formal Methods : 19Th International Conference, Sefm 2021, Virtual Event, December 610, 2021, Proceedings

Description

Additional Information

Related Products

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 610, 2021, ... (Lecture Notes in Computer Science, 13230)

Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28û29, 2021, Proceedings

Formal Methods: Foundations And Applications : 24Th Brazilian Symposium, Sbmf 2021, Virtual Event, December 610, 2021, Proceedings

Cooperative Design, Visualization, And Engineering: 18Th International Conference, Cdve 2021, Virtual Event, October 2427, 2021, Proceedings (Lecture Notes In Computer Science)

Newsletter Signup

Software Engineering And Formal Methods : 19Th International Conference, Sefm 2021, Virtual Event, December 610, 2021, Proceedings

Software Engineering And Formal Methods : 19Th International Conference, Sefm 2021, Virtual Event, December 610, 2021, Proceedings

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 610, 2021, ... (Lecture Notes in Computer Science, 13230)

Formal Methods: Foundations And Applications : 24Th Brazilian Symposium, Sbmf 2021, Virtual Event, December 610, 2021, Proceedings

Cooperative Design, Visualization, And Engineering: 18Th International Conference, Cdve 2021, Virtual Event, October 2427, 2021, Proceedings (Lecture Notes In Computer Science)