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

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

book Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

pdf

Author: Brian Oakley CBE (auth.) John E. Nicholls MA (eds.)
Language: English
Year: 1990

00

27.01.2024

2

0

book Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

pdf

Author: José Meseguer (auth.) Farhad Arbab Peter Csaba Ölveczky (eds.)
Language: English
Year: 2012

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

2

0

book Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

pdf

Author: Alessandro Abate Alessandro D’Innocenzo Maria D. Di Benedetto Shankar S. Sastry (auth.) Magnus Egerstedt Bud Mishra (eds.)
Language: English
Year: 2008

00

27.01.2024

2

0

book Intelligent Multimedia Multi-Agent Systems: A Human-Centered Approach

Intelligent Multimedia Multi-Agent Systems: A Human-Centered Approach

pdf

Author: Rajiv Khosla Ishwar K. Sethi Ernesto Damiani (auth.)
Language: English
Year: 2000

00

27.01.2024

1

0

book Business Process Oriented Implementation of Standard Software: How to Achieve Competitive Advantage Efficiently and Effectively

Business Process Oriented Implementation of Standard Software: How to Achieve Competitive Advantage Efficiently and Effectively

pdf

Author: Dr. Mathias Kirchmer (auth.)
Language: English
Year: 1999

00

27.01.2024

1

0

book Logic of Computation

Logic of Computation

pdf

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

00

27.01.2024

0

0

book Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

pdf

Author: Jens Palsberg (auth.) Jens Palsberg (eds.)
Language: English
Year: 2009

00

27.01.2024

2

0

book Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

pdf

Author: Markus Holzer Martin Kutrib (auth.) Antonín Kučera Igor Potapov (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0

book Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

pdf

Author: Krishnendu Chatterjee (auth.) Giorgio Delzanno Igor Potapov (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0