Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program verifier » program series
https function » its function, sites function, ups function
function basic » functions basic, function based, functional basics
basic https » music https, asia https, arabic https
program verifier » program series
https function » its function, sites function, ups function
function basic » functions basic, function based, functional basics
basic https » music https, asia https, arabic https
1
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Published 2007
View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Verification of Floating-Point Programs -- Verifying Safety Properties with the TLA?+? Proof System -- MUNCH...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”View full text
Electronic
eBook
5
Table of Contents:
“... -- III Around Functions and Functionals -- 6 Rootfinding for Nonlinear Equations -- 7 Nonlinear Systems...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...”
View full text
View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”View full text
Electronic
eBook
8
Table of Contents:
“...Verification Guidelines -- Data Types -- Procedural Statements and Routines -- Basic OOP...”
View full text
View full text
Electronic
eBook
9
by Verhulst, Eric., Verhulst, Eric., Boute, Raymond T., Faria, José Miguel Sampaio., Sputh, Bernhard H.C., Mezhuyev, Vitaliy.
Published 2011
Table of Contents:
“... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...”Published 2011
View full text
Electronic
eBook