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

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

book Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

pdf

Author: Mikołaj Bojańczyk Sławomir Lasota (auth.) Alain Finkel Jérôme Leroux Igor Potapov (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

pdf

Author: Ralf Hinze (auth.) Sven-Bodo Scholz Olaf Chitil (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Implementation and Application of Functional Languages: 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

Implementation and Application of Functional Languages: 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

pdf

Author: Vincent St-Amour Marc Feeley (auth.) Marco T. Morazán Sven-Bodo Scholz (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

pdf

Author: Roberto Ierusalimschy (auth.) Santiago Escobar (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

pdf

Author: Gerwin Klein (auth.) Matt Kaufmann Lawrence C. Paulson (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

pdf

Author: Don Batory (auth.) Marko van Eekelen Herman Geuvers Julien Schmaltz Freek Wiedijk (eds.)
Language: English
Year: 2011

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 Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

pdf

Author: John Rushby (auth.) Rohit Gheyi David Naumann (eds.)
Language: English
Year: 2012

00

27.01.2024

2

0

book Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

pdf

Author: Roland Backhouse Wei Chen João F. Ferreira (auth.) Claude Bolduc Jules Desharnais Béchir Ktari (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

pdf

Author: Ralf Hinze (auth.) Sven-Bodo Scholz Olaf Chitil (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0