Program Synthesis: Automatic Programming, Formal Verification, System

Name: Program Synthesis: Automatic Programming, Formal Verification, System
Brand: OmniScriptum
SKU: feb91189d55a97f791c6ec009cc8168a

1/1

Prices from

127.10

Featured

Description

Program Synthesis: Automatic Programming, Formal Verification, System

Compare webshops (2)

Shop

Price

€ 127.10

To Shop

€ 127.10

To Shop

Description (0)

Program Synthesis: Automatic Programming, Formal Verification, System

Brand	OmniScriptum
EAN	9786132093981

OmniScriptum

Prototype Verification System: Specification Language, Formal Specification, Semantics of Programming Languages

Betascript Publishers

Program Refinement: Formal Methods, Verification, Specification, Executable Program, Stepwise Refinement, Implication

OmniScriptum

GpsDrive: Computer program, Navigation system, NMEA, GPS, Festival Speech Synthesis System

Independently Published

CIRCUITON DIGITAL SYSTEM MODELING: Hardware Abstraction Techniques for Simulation Verification and Synthesis