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

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

book Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

pdf

Author: P. H. B. Gardiner P. J. Lupton J. C. P. Woodcock (auth.) J. E. Nicholls MA (eds.)
Language: English
Year: 1991

00

27.01.2024

0

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

0

0

book Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

pdf

Author: Patricia Bouyer Nicolas Markey Ocan Sankur (auth.) Parosh Aziz Abdulla Igor Potapov (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Elektrik/Elektronik-Architekturen im Kraftfahrzeug: Modellierung und Bewertung von Echtzeitsystemen

Elektrik/Elektronik-Architekturen im Kraftfahrzeug: Modellierung und Bewertung von Echtzeitsystemen

pdf

Author: Thilo Streichert Matthias Traub (auth.)
Language: German
Year: 2012

00

27.01.2024

0

0

book Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

pdf

Author: Kyungmin Bae José Meseguer Peter Csaba Ölveczky (auth.) Corina S. Păsăreanu Gwen Salaün (eds.)
Language: English
Year: 2013

00

27.01.2024

1

0

book Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

pdf

Author: Roland Backhouse (auth.) Charles Rattray Savitri Maharaj Carron Shankland (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Time Granularities in Databases, Data Mining, and Temporal Reasoning

Time Granularities in Databases, Data Mining, and Temporal Reasoning

pdf

Author: Prof. Dr. Claudio Bettini Prof. Dr. Sushil Jajodia Prof. Dr. X. Sean Wang (auth.)
Language: English
Year: 2000

00

27.01.2024

1

0

book Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

pdf

Author: Dan Craigen Susan Gerhart Ted Ralston (auth.) J. P. Bowen MA J. E. Nicholls MA (eds.)
Language: English
Year: 1993

00

27.01.2024

1

0

book Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

pdf

Author: Yu. L. Ershov (auth.) Dines Bjørner Manfred Broy Igor V. Pottosin (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

pdf

Author: Alf Smith (auth.) J. E. Nicholls MA (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0