Sign-In
Cart
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B
Paperback
Series: Lecture Notes in Computer Science, Book 186
ISBN13: 9783540151999
Publisher: Springer Nature
Published: Mar 1 1985
Pages: 459
Weight: 1.46
Height: 0.96 Width: 6.14 Depth: 9.21
Language: English
Also in
General Reference
How to Read Literature Like a Professor: A Lively and Entertaining Guide to Reading Between the Lines
Foster, Thomas C.
Paperback
Within the House of Murdaugh: Amid a Unique Friendship, Blanca and Maggie
Turrubiate-Simpson, Blanca
Weaver, Mary Frances
Paperback
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends 1
Carley, Shane
Paperback
The Book of Unusual Knowledge: Big Book of Fascinating Facts & Information Hardcover Gift for Trivia Buffs, Curious Minds, Adults, Dad & Knowledge See
Publications International Ltd
Hardcover
Effective Phrases for Performance Appraisals: A Guide to Successful Evaluations
Neal Jr, James E.
Paperback
Totally Awesome Book of Useless Information: A Delightfully Absurd Collection of Unusual Knowledge for Adults and Teens
Style, Life Daily
Paperback
The New Worst-Case Scenario Survival Handbook: Expert Advice for Extreme Situations
Borgenicht, David
Piven, Joshua
Hardcover
Floriography: An Illustrated Guide to the Victorian Language of Flowers Volume 1
Roux, Jessica
Hardcover
Cribsheet: A Data-Driven Guide to Better, More Relaxed Parenting, from Birth to Preschool
Oster, Emily
Paperback
Mushrooms of the Upper Midwest: A Simple Guide to Common Mushrooms
Yerich, Kathy
Marrone, Teresa
Paperback
Hoyle's Rules of Games, 3rd Revised and Updated Edition: The Essential Guide to Poker and Other Card Games
Morehead, Albert H.
Mott-Smith, Geoffrey
Morehead, Philip D.
Paperback
American Sign Language Made Easy for Beginners: A Visual Guide with ASL Signs, Lessons, and Quizzes
Belmontes-Merrell, Travis
Paperback
5 Steps to a 5: AP English Language and Composition 2026: Practice AP Tests + AP Content Review + Digital Exams
Murphy, Barbara
Paperback
Save the Cat! Writes a Novel: The Last Book on Novel Writing You'll Ever Need
Brody, Jessica
Paperback
The Writing Revolution 2.0: A Guide to Advancing Thinking Through Writing in All Subjects and Grades
Hochman, Judith C.
Wexler, Natalie
Paperback
The English Grammar Workbook for Grades 6, 7, and 8: 125+ Simple Exercises to Improve Grammar, Punctuation, and Word Usage
Moss, Lauralee
Paperback
Read These Banned Books: A Journal and 52-Week Reading Challenge from the American Library Association
American Library Association (ALA)
Paperback
Chase's Calendar of Events 2026: The Ultimate Go-To Guide for Special Days, Weeks and Months
Chase's, Editors Of
Paperback
Just Good Manners: A Quintessential Guide to Courtesy, Charm, Grace, and Decorum
Hanson, William
Hardcover
Briggs's Dictionary of Fairies: Banshees, Boggarts and Other Folklore Creatures
Briggs, Katharine
Hardcover
Rock Your Literacy Block: Mighty Moves to Organize Your Day and Optimize Student Learning
Kemeny, Lindsay
Paperback
ACT English, Reading & Writing Test Prep: A Quickstudy Laminated Reference Guide
Perkinz, Tiffany
Other
Take It from Me: An Agent's Guide to Building a Nonfiction Writing Career from Scratch
Habib, Alia Hanna
Hardcover
Lonely Planet Hidden Libraries: The World's Most Unusual Book Depositories
Helmuth, DC
Pearl, Nancy
Hardcover
Stuff Every Adult Should Know: A Pocket-Sized Guide to Grown-Up Know-How, from Taxes to Small Talk
Kalb, Alanna
Cohen, Brett
Favreau, Alyssa
Hardcover
The Orvis Quick-Start Guide to Fly-Fishing: Everything You Need to Know to Catch Fish Your First Time Out
Monahan, Philip
Paperback
The Trusted Advisor: 20th Anniversary Edition
Green, Charles
Maister, David H.
Galford, Robert
Paperback
Black People Invented Everything: The Deep History of Indigenous Creativity
Dass, Sujan Kumar
Paperback
Lonely Planet's Where to Go When: The Ultimate Month-By-Month Travel Planner with 300+ Destinations
Lonely Planet
Hardcover
Robert's Rules of Order Newly Revised, 12th Edition
Honemann, Daniel H.
Balch, Thomas J.
Robert, Henry M.
Paperback
Atlas Obscura: Wild Life: An Explorer's Guide to the World's Living Wonders
Atlas Obscura
Foer, Joshua
Giaimo, Cara
Hardcover
The Vocabulary Builder Workbook: Simple Lessons and Activities to Teach Yourself Over 1,400 Must-Know Words
Lele, Chris
Magoosh
Paperback
The Essentials: The Art of Interior Design: A Guide to Furnishing, Decorating, and Styling Your Home
Flemming, Caitlin
Goebel, Julie
Hardcover
The Backyard Birdwatcher's Bible: Birds, Behaviors, Habitats, Identification, Art & Other Home Crafts
Ellis, Sonya Patel
Sterry, Paul
Perrins, Christopher
Hardcover
Everything Teen Boys Should Know - 100+ Essential Life Skills, Strategies, and Insider Tips for Thriving in Your Teenage Years
Bucket, The Mentor
Paperback
Writing Fiction, Tenth Edition: A Guide to Narrative Craft
Burroway, Janet
Stuckey-French, Elizabeth
Stuckey-French, Ned
Paperback
French Short Stories: Thirty French Short Stories for Beginners to Improve your French Vocabulary
Moreau, Dylane
Paperback
Atlas Obscura, 2nd Edition: An Explorer's Guide to the World's Hidden Wonders
Thuras, Dylan
Foer, Joshua
Morton, Ella
Hardcover
The Science of Storytelling: Why Stories Make Us Human and How to Tell Them Better
Storr, Will
Paperback
Freeing the Natural Voice: Imagery and Art in the Practice of Voice and Language (Revised & Expanded)
Linklater, Kristin
Paperback
Navigating Difficult Situations in Public Libraries: The Pla Guide to Trauma-Informed De-Escalation
Paauw, Margaret Ann
Paperback
True Facts That Sound Like Bull$#*t: Nature: 500 Wild Facts from the Zaniest Corners of the World
Carley, Shane
Paperback
My Daily Prayer Plan: 2026 Edition: An Interactive Prayer Tracker for Women
Barkley, Annie
Simmons, Joanne
Hardcover
Simple Sabotage Field Manual
U. S. Office of Strategic Services
Strategic Services, United States Off
Paperback
The Writing Rope: A Framework for Explicit Writing Instruction in All Subjects
Sedita, Joan
Paperback
101 Things I Learned(r) in Business School (Second Edition)
Preis, Michael W.
Frederick, Matthew
Hardcover
Cryptids, Creatures & Critters: A Manual of Monsters & Mythos from Around the World
Quinney, Rachel
Paperback
How to Become a Straight-A Student: The Unconventional Strategies Real College Students Use to Score High While Studying Less
Newport, Cal
Paperback
Generative AI and Libraries: Claiming Our Place in the Center of a Shared Future
Rosser, Chris
Hanegan, Michael
Paperback
National Geographic Photo Basics: The Ultimate Beginner's Guide to Great Photography
Sartore, Joel
Paperback
Japanese Hiragana and Katakana Made Easy: An Easy Step-By-Step Workbook to Learn the Japanese Writing System
Lingo Mastery
Paperback
The Great Mental Models, Volume 1: General Thinking Concepts
Parrish, Shane
Beaubien, Rhiannon
Hardcover
Bad Days in History: A Gleefully Grim Chronicle of Misfortune, Mayhem, and Misery for Every Day of the Year
Farquhar, Michael
Paperback
Disney Dreams Collection by Thomas Kinkade Studios 2026 Engagement Calendar
Kinkade, Thomas
Thomas Kinkade Studios
Other
Remembering the Kanji 1: A Complete Course on How Not to Forget the Meaning and Writing of Japanese Characters
Heisig, James W.
Paperback
The Only Academic Phrasebook You'll Ever Need: 600 Examples of Academic Language
Barros, Luiz Otavio
Paperback
White Elephant Gifts for Adult: 500 Serial Killers Encyclopedia Facts and Figures
Murdle, K.
Paperback
The Reading Strategies Book 2.0: Your Research-Based Guide to Developing Skilled Readers
Serravallo, Jennifer
Paperback
The Art of Noticing: 131 Ways to Spark Creativity, Find Inspiration, and Discover Joy in the Everyday
Walker, Rob
Hardcover