E-bok > Sciences > Math > Krzysztof R. Apt & Ernst-Rudiger Olderog: Programmverifikation (PDF)

Krzysztof R. Apt & Ernst-Rudiger Olderog
Programmverifikation [PDF ebook]
Sequentielle, parallele und verteilte Programme

Stöd

Omslag till Krzysztof R. Apt & Ernst-Rudiger Olderog: Programmverifikation (PDF)

€25.62

Köp den här e-boken och få 1 till GRATIS!

Språk Tyska ● Formatera PDF ● ISBN 9783642579479 ● Utgivare Springer Berlin Heidelberg ● Publicerad 2013 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6380040 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Krzysztof R. Apt Ernst-Rudiger Olderog

48 795 E-böcker i denna kategori

Omslag till Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

From the Reviews ’[This book] contains an excellent blend of both Shiny-specific topics … and practical advice from software development that fits in nicely with Shiny apps. You will find many nugget …

Omslag till V. Balakrishnan: Network Optimization

V. Balakrishnan: Network Optimization

Problems in network optimization arise in all areas of technology and industrial management. The topic of network flows has applications in diverse fields such as chemistry, engineering, management s …

Omslag till John Bird: Mathematics Pocket Book for Engineers and Scientists

John Bird: Mathematics Pocket Book for Engineers and Scientists

This compendium of essential formulae, definitions, tables and general information provides the mathematical information required by engineering students, technicians, scientists and professionals in …

Omslag till Jeffrey Holt: Linear Algebra

Jeffrey Holt: Linear Algebra

Now in its 2nd edition, Linear Algebra with Applications blends computational and conceptual topics to prepare students for the rigors of conceptual thinking in an abstract setting. The early treatme …

Omslag till Jianqing Fan: Local Polynomial Modelling and Its Applications

Jianqing Fan: Local Polynomial Modelling and Its Applications

Data-analytic approaches to regression problems, arising from many scientific disciplines are described in this book. The aim of these nonparametric methods is to relax assumptions on the form of a r …

Omslag till David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

Omslag till Peter Sprent: Data Driven Statistical Methods

Peter Sprent: Data Driven Statistical Methods

Calculations once prohibitively time-consuming can be completed in microseconds by modern computers. This has resulted in dramatic shifts in emphasis in applied statistics. Not only has it freed us f …

Omslag till Birendra Nath (Indian Statistical Institute, Kolkata, India) Mandal & Madan Mohan (Dept. of Mathematics, Visva Bharati Central Univ., India) Panja: Wavelet Based Approximation Schemes for Singular Integral Equations

Birendra Nath (Indian Statistical Institute, Kolkata, India) Mandal & Madan Mohan (Dept. of Mathematics, Visva Bharati Central Univ., India) Panja: Wavelet Based Approximation Schemes for Singular Integral Equations

Many mathematical problems in science and engineering are defined by ordinary or partial differential equations with appropriate initial-boundary conditions. Among the various methods, boundary integ …

Omslag till A. Iserles & S.P. Norsett: Order Stars

A. Iserles & S.P. Norsett: Order Stars

This book familiarizes the mathematical community with an analytic tool that is capable of so many applications and presents a list of open problems which might be amenable to analysis with order sta …

Omslag till Goto: Semisimple Lie Algebras

Goto: Semisimple Lie Algebras

This book provides an account of part of the theory of Lie algebras most relevant to Lie groups. It discusses the basic theory of Lie algebras, including the classification of complex semisimple Lie …

Nästa sida >>>