Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines,... ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings (Paperback, 2014 ed.)
Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
R1,825 Discovery Miles 18 250
Add to cart
Ships in 18 - 22 working days

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Biodiversity Crisis and Crustacea - Proceedings of the Fourth International Crustacean Congress (Hardcover): J.Carel Von...
The Biodiversity Crisis and Crustacea…
J.Carel Von Vaupel Klein Hardcover R4,436 Discovery Miles 44 360
Cladocera as Model Organisms in Biology - Proceedings of the Third International Symposium on Cladocera, held in Bergen,...
Cladocera as Model Organisms in Biology…
Petter Larsson, Lawrence J. Weider Hardcover R4,106 Discovery Miles 41 060
Freshwater Crayfish - A Global Overview (Hardcover): Tadashi Kawai, Zen Faulkes, Gerhard Scholtz
Freshwater Crayfish - A Global Overview
Tadashi Kawai, Zen Faulkes, … Hardcover R5,546 Discovery Miles 55 460
Crustacean Experimental Systems in Neurobiology (Hardcover, 2002 ed.): Konrad Wiese
Crustacean Experimental Systems in…
Konrad Wiese Hardcover R5,311 Discovery Miles 53 110
Physiology of the Cladocera (Hardcover, 2nd edition): Nikolai N. Smirnov
Physiology of the Cladocera
Nikolai N. Smirnov Hardcover R3,268 R3,061 Discovery Miles 30 610
Studies on Brachyura: a Homage to Daniele Guinot (Hardcover): Peter Ng, Peter Castro, Peter Davie, Betrand Richer de Forges
Studies on Brachyura: a Homage to…
Peter Ng, Peter Castro, … Hardcover R6,060 Discovery Miles 60 600
Isopod Systematics and Evolution (Hardcover): Frederick R. Schram
Isopod Systematics and Evolution
Frederick R. Schram Hardcover R5,504 Discovery Miles 55 040
Freshwater Crustacean Zooplankton of Europe - Cladocera & Copepoda (Calanoida, Cyclopoida) Key to species identification, with...
Freshwater Crustacean Zooplankton of…
Leszek A. Bledzki, Jan Igor Rybak Hardcover R7,290 Discovery Miles 72 900
Problems in Prawn Culture (Hardcover, 2nd): Kunihiko Shigeno
Problems in Prawn Culture
Kunihiko Shigeno Hardcover R5,187 Discovery Miles 51 870
Sanitation of the Harvesting, Processing, and Distribution of Shellfish - National Shellfish Sanitation Program Manual of...
Sanitation of the Harvesting…
Center for Food Safe Hardcover R3,550 R3,080 Discovery Miles 30 800

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners