Narrow your search

Library

UAntwerpen (1)

UGent (1)

ULiège (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

1995 (2)

Listing 1 - 2 of 2
Sort by
C++ toolbox for verified computing: theory, algorithms, and programs
Authors: --- ---
ISBN: 3540591109 3642796532 3642796516 Year: 1995 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming

C++ toolbox for verified scientific computing : theory, algorithms, and programs
Authors: --- ---
ISBN: 0387591109 Year: 1995 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 2 of 2
Sort by


Copyright ©2024 SemperTool