Тема, жанр, tags: Integrated circuits,Verification.,Computer software,Verification.,LOTOS (Computer program language), » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Integrated circuits,Verification.,Computer software,Verification.,LOTOS (Computer program language), » Page 3

book Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

pdf

Author: Yoeli Michael, Kol Rakefet
Language: English
Year: 2008

00

27.01.2024

0

0

book The Software Audit Guide

The Software Audit Guide

pdf

Author: John W. Helgeson
Language: English
Year: 2009

00

27.01.2024

0

0

book Certified Programming with Dependent Types (draft 2015)

Certified Programming with Dependent Types (draft 2015)

pdf

Author: Adam Chlipala
Language: English

00

27.01.2024

0

0

book Decidability of Parameterized Verification

Decidability of Parameterized Verification

pdf

Author: Roderick Bloem Swen Jacobs Ayrat Khalimov Igor Konnov Sasha Rubin Helmut Veith Josef Widder
Language: English
Year: 2015

00

27.01.2024

7

0

book The Little Prover

The Little Prover

pdf

Author: Daniel P. Friedman Carl Eastlund
Language: English
Year: 2015

00

27.01.2024

5

0