Ebók

Rigorous Software Development

An Introduction to Program Verification

José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa

Springer Nature

Prísur

259,95 kr.

Vørulýsing av

Rigorous Software Development

Nágreining

Meira eftir José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa

Aðrar bøkur eftir sama høvund

Rigorous Software Development

José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa

449,95 kr.

Líknandi Bøkur

Finn líknandi bøkur her

A Rigorous Semantics for BPMN 2.0 Process Diagrams

Felix Kossak; Christa Illibauer; Verena Geist; Jan Kubovy; Christine Natschläger; Thomas Ziebermayr;

374,95 kr.

RIGOROUS DAP in the Early Years: From Theory to Practice

Christopher P Brown Elizabeth Ann Feger Brian Mowry

239,95 kr.

Rigorous State-Based Methods

164,95 kr.

Rigorous Methods in Theory and Practice

244,95 kr.

Fad-Free Strategy

Daniel Deneffe; Herman Vantrappen

284,95 kr.

The Evaluative Study of Action Research

Eileen PiggotIrvine; Lesley Ferkins; Wendy Rowe

399,95 kr.

Digital Logic Design

Guy Even; Moti Medina

404,95 kr.

The Parameterization Method for Invariant Manifolds

Àlex Haro; Marta Canadell; Jordi-Lluis Figueras; Alejandro Luque; Josep Maria Mondelo

679,95 kr.

Statistics for Mathematicians

Victor M. Panaretos

559,95 kr.

Validated Numerics

Warwick Tucker

359,95 kr.

Feynman-Kac-Type Theorems and Gibbs Measures on Path Space

József Lörinczi; Fumio Hiroshima; Volker Betz

1.119,95 kr.

Hölderlin’s “Ars poetica”

Emery Edward George

1.649,95 kr.