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
Big Mood Sale
Teen Dream Sale
Portland Like a Pro 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]##
The Vienna Development Method: The Meta-Language
by
Bjorner, D.
Comment on this title
ISBN13:
9783540087663
ISBN10:
3540087664
All Product Details
View Larger Image
View Larger Images
$39.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:
9783540087663
Binding:
Trade Paperback
Publication date:
05/01/1978
Publisher:
Springer
Series info:
Lecture Notes in Computer Science
Language:
English
Pages:
384
Height:
.83IN
Width:
6.14IN
Series:
Lecture Notes in Computer Science
Series Number:
61
Number of Units:
1
Copyright Year:
1978
Series Volume:
61
UPC Code:
4294967295
Author:
C. B. Jones
Editor:
C. B. Jones
Author:
D. Bjorner
Editor:
D. Bjorner
Subject:
Development
Subject:
Sprachphilosophie
Subject:
Language, literature and biography
Subject:
Programmiersprache
Subject:
l Logic and Formal Languages
Subject:
REFERENCE / Trivia
Subject:
Mathematical Logic and Formal Languages
Subject:
Logics and Meanings of Programs
Subject:
Mathematica
$39.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]##