Bernhard K. Aichernig & Tom Maibaum 
Formal Methods at the Crossroads. From Panacea to Foundational Support [PDF ebook] 
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

สนับสนุน
ปกของ Bernhard K. Aichernig & Tom Maibaum: Formal Methods at the Crossroads. From Panacea to Foundational Support (PDF)
€57.74
วิธีการชำระเงิน
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา อังกฤษ ● รูป PDF ● ISBN 9783540400073 ● บรรณาธิการ Bernhard K. Aichernig & Tom Maibaum ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2011 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6318047 ● ป้องกันการคัดลอก Adobe DRM
ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Bernhard K. AichernigTom Maibaum

16,614 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Max Wainewright: Coding with Scratch - Make 3D Games & Graphics
Max Wainewright: Coding with Scratch – Make 3D Games & Graphics
Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …
EPUB
Adobe DRM
€16.94
ปกของ Ronen Barzel & Ken Greenebaum: Audio Anecdotes III
Ronen Barzel & Ken Greenebaum: Audio Anecdotes III
This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …
EPUB
Adobe DRM
€73.17
ปกของ Shikha Jain & Kavita Pandey: Code Factory
Shikha Jain & Kavita Pandey: Code Factory
Beginners in the programming world often wander to get some essential books to learn logic building with the help of algorithms, flowcharts, and minor C/Python language code. Addressing this demand, …
EPUB
Adobe DRM
€25.32
ปกของ Jimmy Engstrom: Web Development with Blazor
Jimmy Engstrom: Web Development with Blazor
Develop modern web UIs with Blazor Server and Blazor Web Assembly now introducing Streaming and Static Server-Side Rendering (SSR) and flexible hosting models in .NET 8Purchase of the print or Kindle …
EPUB
Adobe DRM
€38.43
ปกของ Nakul Shah: Blockchain and DLT
Nakul Shah: Blockchain and DLT
Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …
EPUB
Adobe DRM
€25.32
ปกของ Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications
Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications
EPUB
Adobe DRM
€3,779.79
ปกของ Alessandro Del Sole: Xamarin with Visual Studio
Alessandro Del Sole: Xamarin with Visual Studio
For any mobile developer, it’s clear that Xamarin knowledge is vital, thanks to the reintroduction of .NET MAUI. This book provides the reader with complete hands-on experience in designing cross-pla …
EPUB
Adobe DRM
€25.24
ปกของ Timur Yaroshenko: Design Patterns in .NET
Timur Yaroshenko: Design Patterns in .NET
A comprehensive guide that takes you on a journey through the world of design patterns in .NET, empowering you to create software that is not only robust and efficient but also maintainable, scalable …
EPUB
Adobe DRM
€25.20
ปกของ Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization
Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization
This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …
EPUB
Adobe DRM
€25.42