Domov / Knjiga

Separation Logic for High-level Synthesis

Felix Winterstein

Založnik: Springer

Cena knjige 118,66 EUR

ISBN9783319850948

VezavaMehka vezava

RazpoložljivostNa zalogi

Datum izdaje20. julij 2018

Strani152

Brezplačna dostava v Slovenijo.

Naroči knjigo

Sorodne knjige

Separation Logic for High-level Synthesis

Winterstein, Felix

Datum izdaje: 28. februar 2017

ISBN: 9783319532219

165,23 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Verified Software

VSTTE (Conference) (creator), Akash Lal (editor), Stefano Tonetta (editor)

Datum izdaje: 2023

ISBN: 9783031258022

53,90 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Methods in Computer-Aided Design

FMCAD '98 (Conference), Ganesh Gopalakrishnan, Phillip J. Windley

Datum izdaje: 1998

ISBN: 9783540651918

58,37 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Generative Programming and Component Engineering

GPCE 2002 (Conference), Don S. Batory, C. Consel, Walid Taha, ACM SIGPLAN, ACM Sigsoft, Principles, logics,and implementations of high-level programming languages (Conference)

Datum izdaje: 2002

ISBN: 9783540442844

55,83 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Nonlinear Analyses and Algorithms for Speech Processing

International Conference on Non-Linear Speech Processing, Marcos Faúndez Zanuy

Datum izdaje: 2005

ISBN: 9783540312574

62,30 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Web Engineering

San Murugesan, Yogesh Deshpande

Datum izdaje: 2001

ISBN: 9783540421306

56,15 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo