Product Description
ISBN: 9783031301667
TITLE: Concise Guide to Software Verification : From Model Checking to Annotation Checking
AUTHOR: Marieke Huisman
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 25 Jul 2023
Categories
- Other
- Biography & Autobiography
-
Business & Economics
- Consulting
- E-Commerce - Digital Marketing
- Entrepreneurship
- Finance - General
- Foreign Exchange
- Green Business
- Industries - Financial Services
- Insurance - Risk Assessment & Management
- Investments & Securities - Real Estate
- Leadership
- Management - General
- Management Science
- Marketing - General
- Motivational
- Personal Finance - Budgeting
- Personal Finance - Money Management
- Personal Success
- Public Finance
- Skills
- Travel & Holiday
- Workplace Harassment & Discrimination
- Family & Relationships
-
Comics & Graphic Novels
- Action & Adventure
- Coming of Age
- Crime & Mystery
- Erotica
- Fairy Tales, Folk Tales, Legends & Mythology
- Fantasy - Dark Fantasy
- Fantasy - Dragons & Mythical Creatures
- Fantasy - Epic
- Fantasy - General
- LGBTQ+ - Gay
- LGBTQ+ - General
- LGBTQ+ - Lesbian
- Literary
- Magical Realism
- Occult & Supernatural
- Satire
- Science Fiction - Apocalyptic & Post-Apocalyptic
- Supervillains
-
Religion
- Biblical Commentary - Old Testament - General
- Biblical Criticism & Interpretation - General
- Biblical Meditations - General
- Biblical Studies - History & Culture
- Biblical Studies - Old Testament - General
- Biblical Studies - Prophecy
- Buddhism - Zen
- Christian Living - Devotional
- Christian Living - Leadership & Mentoring
- Christian Living - Personal Growth
- Christian Living - Personal Memoirs
- Christian Living - Spiritual Growth
- Christian Living - Spiritual Warfare
- Christian Ministry - Discipleship
- Christian Ministry - Missions
- Christian Rituals & Practice - Worship & Liturgy
- Christian Theology - General
- Christianity - Catholic
- Christianity - History
- Christianity - Orthodox
- Meditations
- Paganism & Neo-Paganism
- Spirituality
-
History
- Africa - East
- Africa - General
- Ancient - General
- Ancient - Rome
- Asia - General
- Australia & New Zealand - General
- Europe - General
- Europe - Great Britain - Victorian Era
- Europe - Spain
- Latin America - General
- Military - General
- Military - Naval
- Military - United States
- Military - Vehicles - Land
- Modern - 20th Century - Holocaust
- North American
- United States - 19th Century
- United States - Civil War Period
- United States - Colonial Period
- United States - General
- United States - Revolutionary Period
- United States - State & Local - West
- Wars & Conflicts - World War II - General
- Travel
- Body, Mind & Spirit
- Science
- Architecture
-
Computers
- Buyer's Guides
- Distributed Systems - General
- Languages - General
- Management Information Systems
- Programming - Algorithms
- Security - General
- Security - Network Security
- Software Development & Engineering-System Analysis
- Software Development&Engineering-Quality Assurance
- Speech & Audio Processing
- System Administration - Backup & Recovery
- System Administration - Email Servers
- System Administration - General
- System Administration - Linux & UNIX
- System Administration - Storage & Retrieval
- System Administration - Virtualiz & Containerize
- System Administration - Windows Administration
- User Interfaces
- Virtual & Augmented Reality
- Voice Search & Digital Assistants
- Young Adult Nonfiction
-
Cooking
- Beverages - Alcoholic - Bartending & Cocktails
- Beverages - Alcoholic- General
- Courses & Dishes - Salads
- Courses & Dishes - Soups & Stews
- Entertaining - General
- Health & Healing - Weight Control
- Individual Chefs & Restaurants
- Methods - Cooking for One
- Methods - Frying
- Regional & Cultural - Italian
- Specific Ingredients - Herbs, Spices, Condiments
- Specific Ingredients - Poultry
- Crafts & Hobbies
- Design
- Drama
-
Juvenile Fiction
- Action & Adventure - General
- Animals - Dragons, Unicorns & Mythical
- Classics
- Fantasy & Magic
- Ghost Stories
- Historical - General
- Historical - United States - 19th Century
- Horror
- Imagination & Play
- Legends, Myths, Fables - General
- Love & Romance
- Science & Nature - Environment
- Science Fiction - Alien Contact
- Science Fiction - General
- Science Fiction - Space Exploration
- Science Fiction - Time Travel
- Short Stories
- Social Themes - Drugs, Alcohol, Substance Abuse
- Social Themes - Emotions & Feelings
- Social Themes - New Experience
- Social Themes - Prejudice & Racism
- Social Themes - Self-Esteem & Self-Reliance
- Visionary & Metaphysical
- Foreign Language Study
- Games & Activities
- Gardening
- Health & Fitness
- House & Home
- Humor
-
Juvenile Nonfiction
- Activity Books - Coloring
- African American & Black
- Animals - Birds
- Animals - Cats
- Animals - Dogs
- Animals - General
- Animals - Jungle Animals
- Animals - Marine Life
- Animals - Zoos
- Books & Libraries
- Concepts - Alphabet
- Concepts - Colors
- Concepts - Money
- Cooking & Food
- Disabilities
- Diversity & Multicultural
- Games & Activities - Word Games
- Health & Daily Living - General
- Health & Daily Living - Mindfulness & Meditation
- Holidays & Celebrations - Birthdays
- Humor - Comic Strips & Cartoons
- Humor - Jokes & Riddles
- Inspirational & Personal Growth
- Language Study - English as a Second Language
- Law & Crime
- Places - General
- Science & Nature - General
- Social Topics - Self-Esteem & Self-Reliance
- Social Topics - Values & Virtues
- Sports & Recreation - Track & Field
- Transportation - General
- Language Arts & Disciplines
- Law
- Literary Collections
- Literary Criticism
- Mathematics
- Medical
- Music
- Nature
- Non-Classifiable
- Performing Arts
- Pets
- Philosophy
- Photography
- Poetry
- Political Science
- Psychology
- Reference
-
Self-Help
- Communication & Social Skills
- Creativity
- Mood Disorders - Depression
- Motivational & Inspirational
- Personal Growth - General
- Personal Growth - Happiness
- Personal Growth - Self-Esteem
- Personal Growth - Success
- Self-Management - Anger Management
- Self-Management - General
- Self-Management - Time Management
- Substance Abuse & Addictions - Alcohol
- Substance Abuse & Addictions - Drugs
- Social Science
- Sports & Recreation
- Study Aids
- Technology & Engineering
- Transportation
- True Crime
- Young Adult Fiction D
-
Arts
- Business, Finance & Law
- Poetry, Drama & Criticism
- Mind, Body & Spirit
- Music, Stage & Screen
- Canadian
- Collections, Catalogs, Exhibitions - General
- Women Artists
- Asian - Chinese
- American - African American & Black
- Australian & Oceanian
- Subjects & Themes - Religious
- Techniques - General
- American - General
- Russian & Soviet
- Bibles
- Education
- Antiques & Collectibles
-
Fiction
- African American & Black - Christian
- African American & Black - General
- Christian - Contemporary
- Christian - General
- Christian - Romance - General
- Christian - Suspense
- Crime
- Erotica - BDSM
- Erotica - General
- Fantasy - Action & Adventure
- Fantasy - Historical
- Fantasy - Paranormal
- Fantasy - Romance
- Fantasy - Urban
- Ghost
- Gothic
- Historical - Ancient
- History
- Horror - General
- Humorous - General
- Mystery & Detective - Amateur Sleuth
- Mystery & Detective - Collections & Anthologies
- Mystery & Detective - Cozy - Animals
- Mystery & Detective - Cozy - General
- Mystery & Detective - Cozy - Holidays & Vacation
- Mystery & Detective - General
- Mystery & Detective - Private Investigators
- Mystery & Detective - Women Sleuths
- Noir
- Romance - Action & Adventure
- Romance - Clean & Wholesome
- Romance - Contemporary
- Romance - Fantasy
- Romance - General
- Romance - Historical - General
- Romance - Historical - Regency
- Romance - Historical - Victorian
- Romance - Holiday
- Romance - Later in Life
- Romance - LGBTQ+ - Gay
- Romance - LGBTQ+ - Lesbian
- Romance - Military
- Romance - Multicultural & Interracial
- Romance - New Adult
- Romance - Paranormal - General
- Romance - Paranormal - Vampires
- Romance - Paranormal - Witches
- Romance - Police & Law Enforcement
- Romance - Polyamory
- Romance - Romantic Comedy
- Romance - Suspense
- Romance - Western
- Romance - Workplace
- Sagas
- Science Fiction - Action & Adventure
- Science Fiction - Collections & Anthologies
- Science Fiction - Genetic Engineering
- Science Fiction - Hard Science Fiction
- Science Fiction - Humorous
- Science Fiction - Military
- Small Town & Rural
- Southern
- Thrillers - Crime
- Thrillers - General
- Thrillers - Supernatural
- Thrillers - Suspense
- World Literature - Africa - General
- World Literature - Norway
Quick Links
Selected Currency: 
AED
- Selected Currency:
-
AED
