Sách điện tử > Khoa học > Khoa học máy tính > Phần mềm ứng dụng > Jifeng He & Zhiming Liu: Formal Methods and Software Engineering (PDF)

Jifeng He & Zhiming Liu
Formal Methods and Software Engineering [PDF ebook]
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Ủng hộ

Bìa của Jifeng He & Zhiming Liu: Formal Methods and Software Engineering (PDF)

€115.45

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783540474623 ● Biên tập viên Jifeng He & Zhiming Liu ● Nhà xuất bản Springer Berlin Heidelberg ● Được phát hành 2006 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6376888 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Jifeng He Zhiming Liu

16.941 Ebooks trong thể loại này

Bìa của Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

Bìa của Howard Anderson & Bruce Hellingsworth: Higher National Computing

Howard Anderson & Bruce Hellingsworth: Higher National Computing

Higher National Computing 2e is a new edition of this extremely successful course book, updated specifically to cover the compulsory core units of the 2003 BTEC Higher National Computing schemes. Ful …

Bìa của Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Open Source Data Warehousing and Business Intelligence is an all-in-one reference for developing open source based data warehousing (DW) and business intelligence (BI) solutions that are business-cen …

Bìa của 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 …

Bìa của Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Bìa của Alan Clements: Computer Architecture with Python and ARM

Alan Clements: Computer Architecture with Python and ARM

<p><b>Learn computer architecture with Python and ARM, simulating assembly program execution and designing a computer simulator Purchase of the print or Kindle book includes a free PDF e …

Bìa của Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

This book explains how to quickly learn and utilize Terraform to incorporate Infrastructure as Code into a continuous integration and continuous delivery pipeline. The book gives you the step-by-step …

Bìa của Jimmy Russell: 101 Amazing Atari 2600 Facts

Jimmy Russell: 101 Amazing Atari 2600 Facts

In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …

Bìa của Rohan Chopra & Sohom Ghosh: The Natural Language Processing Workshop

Rohan Chopra & Sohom Ghosh: The Natural Language Processing Workshop

Make NLP easy by building chatbots and models, and executing various NLP tasks to gain data-driven insights from raw text data Key Features

Get familiar with key natural language processing …

Bìa của Dan Aldred: Coding with the micro

Dan Aldred: Coding with the micro

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

Trang tiếp theo >>>