หนังสือดิจิตอล > วิทยาศาสตร์ > วิทยาศาสตร์คอมพิวเตอร์ > ซอฟต์แวร์แอปพลิเคชัน > Orna Grumberg & Michael Huth: Tools and Algorithms for the Construction and Analysis of Systems (PDF)

Orna Grumberg & Michael Huth
Tools and Algorithms for the Construction and Analysis of Systems [PDF ebook]
13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 – April 1, 2007 Proceedings

สนับสนุน

ปกของ Orna Grumberg & Michael Huth: Tools and Algorithms for the Construction and Analysis of Systems (PDF)

€115.04

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป PDF ● ISBN 9783540712091 ● บรรณาธิการ Orna Grumberg & Michael Huth ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2007 ● ที่สามารถดาวน์โหลดได้ 6 ครั้ง ● เงินตรา EUR ● ID 6593464 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

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

Orna Grumberg Michael Huth

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

ปกของ Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

ปกของ 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 …

ปกของ 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 …

ปกของ 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, …

ปกของ Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …

ปกของ Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

ปกของ Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

ปกของ Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Enhancing LAN Performance, Fourth Edition explains how to connect geographically separated LANs with appropriate bandwidth, the issues to consider when weighing the use of multiport or dualport devic …

ปกของ Hans-Jurgen Schonig: Mastering PostgreSQL 12

Hans-Jurgen Schonig: Mastering PostgreSQL 12

Master Postgre SQL 12 features such as advanced indexing, high availability, monitoring, and much more to efficiently manage and maintain your database Key Features

Grasp advanced Postgre SQ …

ปกของ 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 …

หน้าต่อไป >>>