Chris George & Huaikou Miao 
Formal Methods and Software Engineering [PDF ebook] 
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Apoio
Capa do Chris George & Huaikou Miao: Formal Methods and Software Engineering (PDF)
€115.19
Métodos de Pagamento
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9783540361039 ● Editor Chris George & Huaikou Miao ● Editora Springer Berlin Heidelberg ● Publicado 2003 ● Carregável 3 vezes ● Moeda EUR ● ID 6376148 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Chris GeorgeHuaikou Miao

16.614 Ebooks nesta categoria

Capa do 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
Capa do 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
Capa do 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
Capa do 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
Capa do 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
Capa do Elvis Foster & Bradford Towle Jr.: Software Engineering
Elvis Foster & Bradford Towle Jr.: Software Engineering
Software Engineering: A Methodical Approach (Second Edition) provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineerin …
EPUB
Adobe DRM
€77.33
Capa do Jason Alls: Clean Code in C#
Jason Alls: Clean Code in C#
Develop your programming skills by exploring essential topics such as code reviews, implementing TDD and BDD, and designing APIs to overcome code inefficiency, redundancy, and other problems arising …
EPUB
Adobe DRM
€37.27
Capa do Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop
Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop
A beginner”s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features
  • Explore data …
EPUB
Adobe DRM
€29.55
Capa do 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