Тема, жанр, tags: Software Engineering,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Program » Page 268 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Program » Page 268

book Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

pdf

Author: Christiano Braga Narciso Martí-Oliet (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

pdf

Author: Frank Ortmeier Antoine Rauzy (eds.)
Language: English
Year: 2014

00

27.01.2024

3

0

book Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

pdf

Author: José Luiz Fiadeiro Zhiming Liu Jinyun Xue (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Logic of Computation

Logic of Computation

djvu

Author: Peter Aczel (auth.) Helmut Schwichtenberg (eds.)
Language: English
Year: 1997

00

27.01.2024

0

0

book Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

pdf

Author: Shusaku Iida José Meseguer Kazuhiro Ogata (eds.)
Language: English
Year: 2014

00

27.01.2024

1

0

book Verification of Business Rules Programs

Verification of Business Rules Programs

pdf

Author: Bruno Berstel-Da Silva (auth.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

pdf

Author: Behzad Akbarpour Lawrence C. Paulson (auth.) Rupak Majumdar Paulo Tabuada (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

pdf

Author: Wolfram Büttner (auth.) Egon Börger Michael Butler Jonathan P. Bowen Paul Boca (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

pdf

Author: David Aspinall Donald Sannella (auth.) Hélène Kirchner Christophe Ringeissen (eds.)
Language: English
Year: 2002

00

27.01.2024

1

0

book Nonsmooth Mechanics of Solids

Nonsmooth Mechanics of Solids

pdf

Author: Michel Frémond (auth.) Jaroslav Haslinger Georgios E. Stavroulakis (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0