Book serie: / Книги серии: Lecture notes in computer science,Formal methods » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture notes in computer science,Formal methods

book NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

epub

Author: Barrett Clark, Davies Misty, Kahsai Temesghen
Language: English
Year: 2017

00

06.02.2024

0

0

book NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

pdf

Author: Barrett Clark, Davies Misty, Kahsai Temesghen
Language: English
Year: 2017

00

06.02.2024

0

0

book Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

pdf

Author: Polikarpova Nadia, Schneider Steve A
Language: English
Year: 2017

00

29.01.2024

0

0

book 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

pdf

Author: Cimatti Alessandro, Sirjani Marjan
Language: English
Year: 2017

00

29.01.2024

0

0

book The Object-Z Specification Language

The Object-Z Specification Language

djvu

Author: Graeme Smith (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

djvu

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

djvu

Author: Joseph A. Goguen Timothy Winkler José Meseguer Kokichi Futatsugi (auth.) Joseph Goguen Grant Malcolm (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-aided reasoning: ACL2 case studies

Computer-aided reasoning: ACL2 case studies

djvu

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

pdf

Author: Joseph A. Goguen Timothy Winkler José Meseguer Kokichi Futatsugi (auth.) Joseph Goguen Grant Malcolm (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-Aided Reasoning: ACL2 Case Studies

Computer-Aided Reasoning: ACL2 Case Studies

pdf

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0