Тема, жанр, tags: Software Engineering,Programming Languages Compilers Interpreters,Logics and Meanings of Programs » Page 917 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering,Programming Languages Compilers Interpreters,Logics and Meanings of Programs » Page 917

book Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

pdf

Author: Patrice Godefroid (auth.) Corina S. Păsăreanu (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book A concise and practical introduction to programming algorithms in Java

A concise and practical introduction to programming algorithms in Java

pdf

Author: Frank Nielsen (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

pdf

Author: Bernd Krieg-Brückner Peter D. Mosses (auth.) Peter D. Mosses (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Algorithms for Memory Hierarchies: Advanced Lectures

Algorithms for Memory Hierarchies: Advanced Lectures

pdf

Author: Peter Sanders (auth.) Ulrich Meyer Peter Sanders Jop Sibeyn (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book New Trends on Human–Computer Interaction: Research, Development, New Tools and Methods

New Trends on Human–Computer Interaction: Research, Development, New Tools and Methods

pdf

Author: Sandra Baldassarri Francisco Royo-Santas (auth.) José A. Macías Antoni Granollers Saltiveri Pedro M. Latorre (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Funktionale und Applikative Programmierung: Grundlagen, Sprachen, Implementierungstechniken

Funktionale und Applikative Programmierung: Grundlagen, Sprachen, Implementierungstechniken

pdf

Author: Prof. Dr. Wolfram-Manfred Lippe (auth.)
Language: German
Year: 2009

00

26.01.2024

0

0

book Theory and practice of uncertain programming

Theory and practice of uncertain programming

pdf

Author: Baoding Liu (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

pdf

Author: Paul Feautrier (auth.) Yassine Lakhnech Sergio Yovine (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Python scripting for computational science

Python scripting for computational science

pdf

Author: Hans Petter Langtangen (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

pdf

Author: Paolo Baldan Andrea Corradini (auth.) Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0