winkelwagen uitgebreid zoeken
print pagina
Wetenschappen Exacte wetenschappen/natuurwetenschappen Wiskunde algemeen

 

Boekhandel Douwes Den Haag

Undergraduate Topics in Computer Science

Rigorous Software Development

An Introduction to Program Verification

Jose Bacelar Almeida & Maria Joao Frade & Jorge Sousa Pinto & Simao Melo de Sousa

Rigorous Software Development

Undergraduate Topics in Computer Science

Rigorous Software Development

An Introduction to Program Verification

Undergraduate Topics in Computer Science: Rigorous Software Development

 

This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.

Er is geen levertijd bekend.

€ 140,00

Informeer eerst of het boek leverbaar is voor u bestelt.

Beschrijving Undergraduate Topics in Computer Science: Rigorous Software Development

This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.

ISBN
9781447175575
Pagina's
290
Verschenen
Serie
Undergraduate Topics in Computer Science
Rubriek
Wiskunde algemeen
Druk
1
Uitvoering
Paperback
Taal
Engels
Uitgever
Springer London Ltd

Data-Driven Modeling & Scientific Computation

An accessible introductory to advanced text focusing on integrating scientific computing methods and algorithms with modern data analysis techniques, including basic applications of machine learning in the sciences and engineering.

Graphical Models

This new and extended edition of Graphical Models provides the basic mathematical and statistical theory of graphical models, incorporating the many advances that have been made in the field since the publication of the first edition in 1996.

The Mittag-Leffler and Gamma Function

The Mittag-Leffler and Gamma Function targets the mathematical properties of the Mittag-Leffler function and the Gamma function in easy-to-understand language.

Wiskunde algemeen

terug meer