Тема, жанр, tags: Computing Methodologies,Programming Languages Compilers Interpreters,Software Engineering/Programmin » Page 8 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computing Methodologies,Programming Languages Compilers Interpreters,Software Engineering/Programmin » Page 8

book Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

pdf

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.)
Language: English
Year: 2000

00

27.01.2024

1

0

book The Object-Z Specification Language

The Object-Z Specification Language

pdf

Author: Graeme Smith (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book SystemC: From the Ground Up

SystemC: From the Ground Up

pdf

Author: David C. Black Jack Donovan Bill Bunton Anna Keist (auth.)
Language: English
Year: 2010

00

27.01.2024

3

0

book Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

pdf

Author: Herman Geuvers (auth.) Ana Bove Luís Soares Barbosa Alberto Pardo Jorge Sousa Pinto (eds.)
Language: English
Year: 2009

00

27.01.2024

4

0

book Embedded System Design: Modeling, Synthesis and Verification

Embedded System Design: Modeling, Synthesis and Verification

pdf

Author: Daniel D. Gajski Samar Abdi Andreas Gerstlauer Gunar Schirner (auth.)
Language: English
Year: 2009

00

27.01.2024

1

0

book A practical introduction to hardware/software codesign

A practical introduction to hardware/software codesign

pdf

Author: Patrick R. Schaumont (auth.)
Language: English
Year: 2010

00

27.01.2024

0

0

book A Practical Introduction to Hardware/Software Codesign

A Practical Introduction to Hardware/Software Codesign

pdf

Author: Patrick R. Schaumont (auth.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

pdf

Author: Herman Geuvers (auth.) Ana Bove Luís Soares Barbosa Alberto Pardo Jorge Sousa Pinto (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

pdf

Author: Claudio A. Ardagna Marco Cremonini (auth.) Gilles Barthe Benjamin Grégoire Marieke Huisman Jean-Louis Lanet (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

pdf

Author: Alan Burns Guillem Bernat Ian Broster (auth.) Rajeev Alur Insup Lee (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0