Cart
|
|
my account
|
wish list
|
help
|
800-878-7323
Hello, |
Login
MENU
Browse
New Arrivals
Bestsellers
Featured Preorders
Award Winners
Audio Books
See All Subjects
Used
Staff Picks
Staff Picks
Picks of the Month
Bookseller Displays
50 Books for 50 Years
25 Best 21st Century Sci-Fi & Fantasy
25 PNW Books to Read Before You Die
25 Books From the 21st Century
25 Memoirs to Read Before You Die
25 Global Books to Read Before You Die
25 Women to Read Before You Die
25 Books to Read Before You Die
Gifts
Gift Cards & eGift Cards
Powell's Souvenirs
Journals and Notebooks
socks
Games
Sell Books
Blog
Events
Find A Store
Don't Miss
Spring Sale
Big Mood Sale
Teen Dream Sale
Powell's Author Events
Oregon Battle of the Books
Audio Books
Get the Powell's newsletter
Visit Our Stores
Powell's Staff:
Five Book Friday: In Memoriam
(0 comment)
Every year, the booksellers at Powell’s submit their Top Fives: their five favorite books that were released in 2023. It’s a list that, when put together, shows just how varied and interesting the book tastes of Powell’s booksellers are. I highly recommend digging into the recommendations — we would never lead you astray — but today...
Read More
»
Brontez Purnell:
Powell’s Q&A: Brontez Purnell, author of ‘Ten Bridges I’ve Burnt’
(0 comment)
Rachael P.:
Starter Pack: Where to Begin with Ursula K. Le Guin
(0 comment)
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B
by
Ehrig, Hartmut
Comment on this title
ISBN13:
9783540151999
ISBN10:
3540151990
All Product Details
View Larger Image
View Larger Images
$83.95
New Trade Paperback
Available at a Remote Warehouse. Ships separately from other items. Additional shipping charges may apply. Not available for In Store Pickup.
More Info
Qty
Store
20
Remote Warehouse
What Our Readers Are Saying
Be the first to share your thoughts on this title!
Product Details
ISBN:
9783540151999
Binding:
Trade Paperback
Publication date:
03/01/1985
Publisher:
Springer
Series info:
Lecture Notes in Computer Science
Language:
English
Pages:
459
Height:
.96IN
Width:
6.14IN
Series:
Lecture Notes in Computer Science
Series Number:
186
Number of Units:
1
Copyright Year:
1985
Series Volume:
186
UPC Code:
4294967295
Editor:
Hartmut Ehrig
Author:
Maurice Nivat
Author:
Christiane Floyd
Editor:
Christiane Floyd
Editor:
Maurice Nivat
Author:
Hartmut Ehrig
Author:
James Thatcher
Subject:
REFERENCE / Trivia
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Language, literature and biography
Subject:
Software
Subject:
Engineering
Subject:
Software engineering
Subject:
Logics and Meanings of Programs
$83.95
New Trade Paperback
Available at a Remote Warehouse. Ships separately from other items. Additional shipping charges may apply. Not available for In Store Pickup.
More Info
Qty
Store
20
Remote Warehouse
Receive an email when this ISBN is available used.
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##