1
Publicado 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Ligazón do recurso
Electrónico eBook
2
por Smith, Joshua B., Smith, Joshua B.
Publicado 2007
Table of Contents: ... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...
Ligazón do recurso
Electrónico eBook
3
por Friesen, Jeff., Friesen, Jeff.
Publicado 2011
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
4
por Rahman, Mohammad., Rahman, Mohammad.
Publicado 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ...Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification...
Ligazón do recurso
Electrónico eBook
6
Publicado 2005
Table of Contents: ... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...
Ligazón do recurso
Electrónico eBook
7
Publicado 2007
Table of Contents: ... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...
Ligazón do recurso
Electrónico eBook
8
Publicado 2005
Table of Contents: ... Skeletons -- Implementing Distributed Mutual Exclusion on Multithreaded Environments: The Alien-Threads...
Ligazón do recurso
Electrónico eBook
9
por Spear, Chris., Spear, Chris.
Publicado 2008
Table of Contents: ... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ... of Sulawesi Crested Black Macaques Macaca nigra -- Indonesia’s Prosimians -- The Function of Scentmarking...
Ligazón do recurso
Electrónico eBook
11
Publicado 2005
Table of Contents: ... Protocol for Live Streaming Services -- Session 3: Web Techniques -- Dynamic Thread Management in Kernel...
Ligazón do recurso
Electrónico eBook