Formal Methods
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods eBooks & eLearning
Posted by insetes at Feb. 23, 2019
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA By Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (eds.)
2000 | 417 Pages | ISBN: 1475710186 | PDF | 15 MB
2000 | 417 Pages | ISBN: 1475710186 | PDF | 15 MB
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold C eBooks & eLearning
Posted by nebulae at May 12, 2019
Jing Sun, "Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold C"
English | ISBN: 3030024490 | 2018 | 496 pages | EPUB, PDF | 12 MB + 17 MB
English | ISBN: 3030024490 | 2018 | 496 pages | EPUB, PDF | 12 MB + 17 MB
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzh eBooks & eLearning
Posted by roxul at Oct. 28, 2019
Yamine Ait-Ameur, "Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzh"
English | ISBN: 3030324087 | 2019 | 528 pages | PDF | 20 MB
English | ISBN: 3030324087 | 2019 | 528 pages | PDF | 20 MB
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, O eBooks & eLearning
Posted by insetes at Sept. 27, 2023
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings By Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.)
2011 | 670 Pages | ISBN: 3642245587 | PDF | 11 MB
2011 | 670 Pages | ISBN: 3642245587 | PDF | 11 MB
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, eBooks & eLearning
Posted by insetes at Sept. 28, 2023
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures By Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)
2011 | 527 Pages | ISBN: 3642214541 | PDF | 13 MB
2011 | 527 Pages | ISBN: 3642214541 | PDF | 13 MB
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023 eBooks & eLearning
Posted by readerXXI at April 9, 2024
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
by Yi Li, Sofiène Tahar
English | 2024 | ISBN: 9819975832 | 320 Pages | True PDF | 18.5 MB
by Yi Li, Sofiène Tahar
English | 2024 | ISBN: 9819975832 | 320 Pages | True PDF | 18.5 MB
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-Ci eBooks & eLearning
Posted by insetes at July 8, 2024
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings By Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)
2008 | 397 Pages | ISBN: 354088193X | PDF | 6 MB
2008 | 397 Pages | ISBN: 354088193X | PDF | 6 MB
Formal Methods and Software Engineering - ICFEM 2011 eBooks & eLearning
Posted by rwdfox at Nov. 8, 2011
Shengchao Qin and Zongyan Qiu, "Formal Methods and Software Engineering - ICFEM 2011"
Sp..ger (11-2011) | PDF | 684 pages | ISBN: 3642245587 | 12.2Mb
Formal Methods and Software Engineering - ICFEM 2011 (repost) eBooks & eLearning
Posted by libr at July 14, 2013
Shengchao Qin and Zongyan Qiu, "Formal Methods and Software Engineering - ICFEM 2011"
English | (11-2011) | PDF | 684 pages | ISBN: 3642245587 | 11,6 Mb
English | (11-2011) | PDF | 684 pages | ISBN: 3642245587 | 11,6 Mb
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 /by Shengchao Qin and Zongyan Qiu.
Formal Methods for Industrial Critical Systems eBooks & eLearning
Posted by AvaxGenius at Aug. 23, 2019
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings by Kim Guldstrand Larsen
English | PDF | 2019 | 174 Pages | ISBN : 3030270076 | 10.09 MB
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.