Catalog > Sains > Matematik > Krzysztof R. Apt & Ernst-Rudiger Olderog: Programmverifikation (PDF)

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

Sokongan

perlindungan daripada Krzysztof R. Apt & Ernst-Rudiger Olderog: Programmverifikation (PDF)

€25.62

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Jerman ● Format PDF ● ISBN 9783642579479 ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2013 ● Muat turun 3 kali ● Mata wang EUR ● ID 6380040 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Krzysztof R. Apt Ernst-Rudiger Olderog

50,053 Ebooks dalam kategori ini

perlindungan daripada Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Flight Mechanics Modeling and Analysis comprehensively covers flight mechanics and flight dynamics using a systems approach. This book focuses on applied mathematics and control theory in its discuss …

perlindungan daripada Jason M. (George Mason University, Fairfax, VA USA) Kinser: Image Operators

Jason M. (George Mason University, Fairfax, VA USA) Kinser: Image Operators

For decades, researchers have been developing algorithms to manipulate and analyze images. From this, a common set of image tools now appear in many high-level programming languages. Consequently, th …

perlindungan daripada Frederick Bloom: Mathematical Problems of Classical Nonlinear Electromagnetic Theory

Frederick Bloom: Mathematical Problems of Classical Nonlinear Electromagnetic Theory

A survey of some problems of current interest in the realm of classical nonlinear electromagnetic theory. …

perlindungan daripada Nadiya (Silesian University of Technology, Poland) Gubareni: Introduction to Modern Algebra and Its Applications

Nadiya (Silesian University of Technology, Poland) Gubareni: Introduction to Modern Algebra and Its Applications

The book provides an introduction to modern abstract algebra and its applications. It covers all major topics of classical theory of numbers, groups, rings, fields and finite dimensional algebras. Th …

perlindungan daripada Thane Plambeck: Barrycades and Septoku

Thane Plambeck: Barrycades and Septoku

The Gathering 4 Gardner is a biannual conference founded-and for many years organized-by Tom Rodgers to celebrate the spirit of Martin Gardner. While primarily concerned with recreational mathematics …

perlindungan daripada Richard A. Mollin: Algebraic Number Theory

Richard A. Mollin: Algebraic Number Theory

Bringing the material up to date to reflect modern applications, this second edition has been completely rewritten and reorganized to incorporate a new style, methodology, and presentation. It offers …

perlindungan daripada Stephen Kokoska & Daniel Zwillinger: CRC Standard Probability and Statistics Tables and Formulae, Student Edition

Stephen Kokoska & Daniel Zwillinger: CRC Standard Probability and Statistics Tables and Formulae, Student Edition

Users of statistics in their professional lives along with statistics students will welcome the CRC Standard Probability and Statistics Tables and Formulae, a concise, easy-to-use reference for basic …

perlindungan daripada Adrian (Electro-Optical Engineering Unit, Ben-Gurion University of the Negev) Stern: Optical Compressive Imaging

Adrian (Electro-Optical Engineering Unit, Ben-Gurion University of the Negev) Stern: Optical Compressive Imaging

This dedicated overview of optical compressive imaging addresses implementation aspects of the revolutionary theory of compressive sensing (CS) in the field of optical imaging and sensing. It overvie …

perlindungan daripada Fionn (Goldsmiths University of London, United Kingdom) Murtagh: Data Science Foundations

Fionn (Goldsmiths University of London, United Kingdom) Murtagh: Data Science Foundations

‘Data Science Foundations is most welcome and, indeed, a piece of literature that the field is very much in need of…quite different from most data analytics texts which largely ignore foundational co …

perlindungan daripada Jose Iovino: Beyond First Order Model Theory, Volume I

Jose Iovino: Beyond First Order Model Theory, Volume I

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains …

Muka surat seterusnya >>>