The Leading eBooks Store Online
3,508,729 members ⚫ 2,065,349 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
- Springer New York 2013; US$ 99.00
This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental principles of formal methods in the construction of modular and verifiable formal specifications. The book introduces several formal specification techniques... more...
- Springer Berlin Heidelberg 2013; Not Available
Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, lieS sich kaum voraussehen, welche Bedeutung einmal der organisatorische Teil einschlieBlich der Programmierung erlangen wtirde. Heute wissen wir, daB beim Compu tereinsatz die sogenannte »Software« mindestens so wichtig ist, wie die eigentliche... more...
- Springer International Publishing 2015; US$ 84.00
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related... more...
- Springer International Publishing 2016; US$ 84.00
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized... more...
- Springer Berlin Heidelberg 2007; US$ 139.00
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with five invited papers were carefully reviewed. They provide original research results... more...
- Springer New York 2007; US$ 289.00
Solvent systems are integral to drug development and pharmaceutical technology. This single topic encompasses numerous allied subjects running the gamut from recrystallization solvents to biorelevant media. The goal of this contribution to the AAPS Biotechnology: Pharmaceutical Aspects series is to generate both a practical handbook as well as a reference... more...
- Springer Vienna 2014; US$ 99.00
- Springer US 2009; US$ 169.00
Starting with a brief background in logic, the author then introduces the concept of GQs, and develops a query language based on GQs. Using Query Language with Generalized Quantifiers, the book explores the efficient implementation of the concept. more...
- Apress 2015; US$ 49.99
Swift 2 for Absolute Beginners is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven?t programmed since school, and it is now updated for Swift 2. Gary Bennett and Brad Lees are full-time professional iOS developers and... more...