Sign-In
Cart
Refinement in Z and Object-Z: Foundations and Advanced Applications
Hardcover
FictionGeneral GardeningProgramming
ISBN13: 9781447153542
Publisher: Springer Nature
Published: Sep 12 2013
Pages: 492
Weight: 1.96
Height: 1.13 Width: 6.14 Depth: 9.21
Language: English
Preface.- Part I - Refining Z Specifications.- An Introduction to Z.- Simple Refinement.- Data Refinement and Simulations.- Refinement in Z.- Calculating Refinements.- Promotion.- Testing and Refinement.- A Single Simulation Rule.- Part II - Interfaces and Operations: ADTs Viewed in an Environment.- Refinement, Observation and Modification.- IO Refinement.- Weak Refinement.- Non-Atomic Refinement.- Case Study: A Digital and Analogue Watch.- Further Generalisations.- Part III - Object-Oriented Refinement.- An Introduction to Object Z.- Refinement in Object-Z.- Class Refinement.- Part IV - Modelling State and Behaviour.- Combining CSP and Object-Z.- Refining CSP and Object-Z Specifications.- Conclusions.- Glossary of Notation.- Index.
1 different editions
Also available
Refinement in Z and Object-Z: Foundations and Advanced Applications
Derrick, John
Boiten, Eerke A.
Paperback
Also in
General Gardening
The Little Book of Crops in Small Spots *Osi*: A Modern Guide to Growing Fruit and Veg
Moore, Jane
Hardcover
Houseplants (Mini): A Guide to Choosing and Caring for Indoor Plants
Steinkopf, Lisa Eldred
Hardcover
Plant This, Not That: Over 200 Native Plant Swaps for a More Sustainable, Pollinator-Friendly Garden
Howard, Elise
Paperback
How to Grow Food: Your Crop-By-Crop Guide to Growing, Cooking, & Preserving
Richards, Huw
Cooper, Sam
Hardcover
The Compact Garden: A Beginner's Guide to Growing Vegetables in Small Spaces
Lopez, Marv
Lopez, Char
Hardcover
Cultivating Native Plants for Pollinators: A Comprehensive Guide to Attracting Birds, Bees, and Butterflies
Yoest, Helen
Paperback
Paint by Sticker (Official): Plants and Flowers: Create 12 Stunning Images One Sticker at a Time!
Workman Publishing
Paperback
Low-Maintenance Eco Gardens: A Practical Guide to Creating an Easy & Sustainable Garden That Nourishes You
Meyer, Fred
Kardos, Jen
Hardcover
Ultimate Guide: Small Space Kitchen Gardens: How to Plan, Plant, and Harvest High-Yield Vegetable Gardens
Koziol, Nina
Paperback
The Gravel Garden: Visionary, Drought-Defying, Naturalistic Designs
Woodard, Teresa
Epping, Jeff
Hardcover
Tiny Gardens Everywhere: The Past, Present, and Future of the Self-Provisioning City
Brown, Kate
Hardcover
The Complete Folk Herbal: An Illustrated Guide to Natural Remedies and Everyday Healing
Beyer, Rebecca
Hardcover
The Urban Prepper's Guide: How to Become Self-Sufficient and Prepared for the Next Crisis
Cobb, Jim
Paperback
The New Garden Designer's Handbook: How to Design Useful, Beautiful Gardens from Start to Finish
Beyers, Daryl
Paperback
Wild Witchcraft: Folk Herbalism, Garden Magic, and Foraging for Spells, Rituals, and Remedies
Beyer, Rebecca
Hardcover
Martha Stewart's Gardening Handbook: The Essential Guide to Designing, Planting, and Growing
Stewart, Martha
Hardcover
All New! Square Foot Gardening, 4th Edition: The World's Most Popular Growing Method to Harvest More Food from Less Space - Urban to Rural-Garden Anyw
Square Foot Gardening Foundation
Paperback
The Self-Sufficiency Garden: Feed Your Family and Save Money: The #1 Sunday Times Bestseller
Richards, Huw
Cooper, Sam
Hardcover
The Essential Guide to Self-Sufficient Living: Vegetable Gardening, Canning and Fermenting, Keeping Chickens, and More
Gehring, Abigail
Paperback
Herb Gardening for Beginners: A Simple Guide to Growing & Using Culinary and Medicinal Herbs at Home
Thoma, Marc
Paperback
Carrots Love Tomatoes: Secrets of Companion Planting for Successful Gardening
Riotte, Louise
Paperback
Garden for Life: Strategies for Easier, Greener, More Joyful Gardening as We Age
Hayes, Rhonda Fleming
Paperback
The Money-Saving Gardener Containers: How to Create a Year-Round Container Garden for Less
Lautenbach, Anya
Hardcover
The Contemporary Cottage Garden: Climate-Friendly, Mindful Methods for Growing Flowers and Food
Hubbard, Pamela
Paperback
The Gardener's Mindset: A Gardening Book: Connecting with Nature Through Plants
Orr, Stephen
Hardcover
The Green Witch's Garden: Your Complete Guide to Creating and Cultivating a Magical Garden Space
Murphy-Hiscock, Arin
Hardcover
Botany for Gardeners, Fourth Edition: An Introduction to the Science of Plants
Capon, Brian
Paperback
The Continuous Vegetable Garden: Create a Perpetual Food Garden That Sows and Grows Itself
Nardozzi, Charlie
Paperback
Trellises, Planters & Raised Beds for Beginners: 30+ Easy, Unique, and Useful Projects You Can Make with Common Tools and Materials
Editors of Cool Springs Press
Paperback
High Yield, Small Space Organic Gardening: Practical Tips for Growing Your Own Food
Wilhelmi, Christy
Paperback
How Does Your Garden Grow?: The Elements of Planning, Growing & Caring for a Garden
Proust, MILLI
Hardcover
How to Build Your Very Own Little Free Library: 11 Mini Structures You Can Build
Little Free Library, Little Free
Schmidt, Philip
Paperback
Container Gardening for Beginners: A Guide to Growing Your Own Vegetables, Fruits, Herbs, and Edible Flowers
Wylie, Tammy
Paperback
Essential Guide to Ecological Gardening: Techniques and Know-How for Gardening with Nature
American Horticultural Society
Paperback
The Weekend Gardener: Weekend Projects and Everyday Inspiration for the Busy Gardener
Agg, Henry
Hardcover
Seed to Seed: Seed Saving and Growing Techniques for Vegetable Gardeners, 2nd Edition
Ashworth, Suzanne
Paperback
Grow a Little Fruit Tree: Simple Pruning Techniques for Small-Space, Easy-Harvest Fruit Trees
Ralph, Ann
Paperback
Terrain: The Container Garden Book: Creative Designs for Every Season
Lehmkuhl, Greg
Bartley, Melissa
Hardcover
In Your Garden: The Complete Guide to Home Vegetable Gardening with Jean-Martin Fortier
Fortier, Jean-Martin
Hardcover
Gardenista: The Low-Impact Garden: A Guide to Creating Sustainable Outdoor Spaces
Editors of Gardenista
Wilson, Kendra
Hardcover
The Essential Guide to Bulbs: Grow a Bounty of Beautiful Bulbs in Gardens and Containers
Carey, Jenny Rose
Paperback
Nettles & Petals: Grow Food. Eat Weeds. Save Seeds. the Sunday Times Bestseller
Walton, Jamie
Hardcover
1000 Botanical Colors: Make Your Own Dyes, Paints, Inks, Stains, and Pottery Paints from 250 Plants
Warnock, Caleb
Paperback
Backyard Cutting Garden: Small-Space Blooms to Grow, Harvest, and Arrange in Every Season
Snyder, Trisha
Hardcover
The Complete Guide to Home Permaculture: How to Transform Your Yard Into a Thriving and Productive Ecosystem
Hall, Brandy
Hardcover
How Not to Kill Your Houseplant New Edition: Survival Tips for the Horticulturally Challenged
Peerless, Veronica
Hardcover
Planting in a Post-Wild World: Designing Plant Communities for Resilient Landscapes
West, Claudia
Rainer, Thomas
Hardcover
Plant by Number: Design Your Dream Garden with 24 Easy, Step-By-Step Planting Plans
Tornio, Stacy
Paperback
The Indoor Garden: Expert Gardeners Share Advice for Growing Food at Home
Melrose, Janet
Normandeau, Sheryl
Paperback
Gardening for Abundance: Your Guide to Cultivating a Bountiful Veggie Garden and a Happier Life
Brigantti, Brian
Paperback
Guide to Hydroponic Gardening: How-To Grow Food in Any Space Without Soil or Sunlight
Martin, Kiri
Paperback
Essential Guide to Plant Propagation: Techniques and Know-How for Propagating All Types of Plants, Indoors and Out
American Horticultural Society
Paperback
Sakuteiki: Visions of the Japanese Garden: A Modern Translation of Japan's Gardening Classic
Keane, Marc Peter
Takei, Jiro
Hardcover
The Timber Press Guide to Vegetable Gardening in the Pacific Northwest
Forkner, Lorene Edwards
Paperback
Garden Yourself Happy: A Quirky, Practical Guide to Keeping You and Your Garden Thriving
Hincks, Jonny
Hardcover
The Pacific Northwest Native Plant Primer: 225 Plants for an Earth-Friendly Garden
Currin, Kristin
Merritt, Andrew
Paperback
Psilocybin: Magic Mushroom Grower's Guide: A Handbook for Psilocybin Enthusiasts
Oss, O. T.
Oeric, O. N.
Paperback
The Ruth Stout No-Work Garden Book: Secrets of the Famous Year Round Mulch Method
Clemence, Richard
Stout, Ruth
Paperback
The Wild & Free Garden: Transform Your Outdoor Space with Found Materials, Community Sharing, and Creative Ingenuity
Rose, Stephanie
Paperback
Victory Gardens for Bees: A DIY Guide to Saving the Bees, Revised Edition
Weidenhammer, Lori
Paperback
Fern Finder: Identifying Native Ferns of Central and Northeastern North America
Hallowell, Anne C.
Hallowell, Barbara G.
Paperback
The Rocky Mountain Native Plant Primer: 225 Plants for an Earth-Friendly Garden
Fischer, Bryan
Springer, Lauren
Paperback
Hidroponía: Una guía para principiantes para construir su propio jardín hidropónico
Gordon, Tom
Paperback
Wicked Plants: The Weed That Killed Lincoln's Mother & Other Botanical Atrocities
Stewart, Amy
Hardcover
Give It a Grow: Simple Projects to Nurture Food, Flowers and Wildlife in Any Outdoor Space
Swales, Martha
Hardcover
The Living Landscape: Designing for Beauty and Biodiversity in the Home Garden
Darke, Rick
Tallamy, Douglas W.
Hardcover
The Cut Flower Handbook: Select, Plant, Grow, and Harvest Gorgeous Blooms
Ziegler, Lisa Mason
Hardcover
A Northern Gardener's Guide to Native Plants and Pollinators
Johnson, Lorraine
Colla, Sheila
Paperback
Designing the Lush Dry Garden: Create a Climate-Resilient, Low-Water Paradise
Riley, Cricket
Kitajima, Alice
Holmes, Kier
Hardcover
Perennials for the Northeast: A Comprehensive Guide
Christopher, Thomas
Clausen, Ruth Rogers
Paperback
Raised-Bed Gardening for Beginners: Everything You Need to Know to Start and Sustain a Thriving Garden
Wylie, Tammy
Paperback
The Northeast Native Plant Primer: 235 Plants for an Earth-Friendly Garden
Native Plant Trust
Lorimer, Uli
Paperback
The Complete Gardener: A Practical, Imaginative Guide to Every Aspect of Gardening
Don, Monty
Hardcover
The Forager's Almanac: A Year of Sustainable Gathering, Growing, Recipes and Wildcraft
Gallacher, Danni
Hardcover
Botanical Art Techniques: A Comprehensive Guide to Watercolor, Graphite, Colored Pencil, Vellum, Pen and Ink, Egg Tempera, Oils, Printmaking, and More
Jess, Robin A.
American Society of Botanical Artists
Woodin, Carol
Hardcover
Psilocybin Mushrooms: A Comprehensive Guide to Growing and Using Psychedelic Mushrooms
Madden, Michael
Paperback
Gardening with Native Plants of the Pacific Northwest
Kruckeberg, Arthur R.
Chalker-Scott, Linda
Paperback
The Money-Saving Garden Year: A Month-By-Month Guide to a Great Garden That Costs Less
Lautenbach, Anya
Hardcover
Survival Gardening: Grow Your Own Emergency Food Supply, from Seed to Root Cellar
Coffman, Sam
Paperback
Companion Planting for Beginners: Pair Your Plants for a Bountiful, Chemical-Free Vegetable Garden
Lowell, Brian
Paperback
Don't Throw It, Grow It, 2nd Edition: 68 Windowsill Plants from Kitchen Scraps
Selsam, Millicent
Peterson, Deborah
Paperback
Homesteading: Is It The Lifestyle For You?: Is It The Lifestyle For You?: Everything You Need To Know Before You Buy Land
Nickling-Riddle, Aly
Paperback
Perennials for the Pacific Northwest: A Comprehensive Guide
Clausen, Ruth Rogers
Christopher, Thomas
Paperback
Four-Season Harvest: Organic Vegetables from Your Home Garden All Year Long, 2nd Edition
Coleman, Eliot
Paperback
Tea Gardening for Beginners: Learn to Grow, Blend, and Brew Your Own Tea at Home
Dimakos, Julia
Paperback
Week-By-Week Vegetable Gardener's Handbook: Perfectly Timed Gardening for Your Most Bountiful Harvest Ever
Kujawski, Jennifer
Kujawski, Ron
Paperback
Houseplants for Beginners: A Practical Guide to Choosing, Growing, and Helping Your Plants Thrive
de la Paz, Rebecca
Paperback
Beautiful Gardens for Busy People: How to Grow Gorgeous Flowers with Minimal Effort and on a Limited Budget
Gross, Ila Lane
Paperback
The Complete Guide to Pickling: Pickle and Ferment Everything Your Garden or Market Has to Offer
Laing, Julie
Paperback
Build It Simple: Practical Projects and Inventive Solutions for Home and Garden
How-To Experts at Storey Publishing
Paperback
Gardens Illustrated: The New Beautiful: Inspiring Gardens for a Resilient Future
The Editors of Gardens Illustrated
Hardcover
Teaming with Microbes: The Organic Gardener's Guide to the Soil Food Web
Lewis, Wayne
Lowenfels, Jeff
Hardcover
Herbal Medicine for Beginners: Your Guide to Healing Common Ailments with 35 Medicinal Herbs
Swift, Katja
Midura, Ryn
Paperback
The Winter Harvest Handbook: Year Round Vegetable Production Using Deep-Organic Techniques and Unheated Greenhouses
Coleman, Eliot
Paperback
The Money-Saving Gardener: Create Your Dream Garden at a Fraction of the Cost: The Sunday Times Bestseller
Lautenbach, Anya
Hardcover