BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Specification And Verification Of (153 items)

Refine Search
Results 1 - 20 of 153
Formal Specification and Verification of Digital Systems
Stock photo: cover may vary

Formal Specification and Verification of Digital Systems

by Milne, George

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780077078119 / 007707811x
Quantity available
1
Seller
United States Better World Books
Overall Feedback:
This seller has earned a 4.6 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$24.08
Free Delivery within USA

Show details

Description:
McGraw-Hill Education. Used - Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Add to wish list
Item price
A$24.08
Free Delivery within USA
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Stock photo: cover may vary

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

by Franta

  • Used
  • fair
Condition
Fair
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
United States BookHolders
Overall Feedback:
This seller has earned a 4.4 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$19.23
A$6.20 Delivery within USA

Show details

Description:
Fair. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: None ]
Add to wish list
Item price
A$19.23
A$6.20 Delivery within USA
SPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS
Stock photo: cover may vary

SPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS

by Bayoumi M.SC. Ph.D., Magdy A,Ling, Nam

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9789810238674 / 9810238673
Quantity available
1
Seller
United States Suffolk Books Inc
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Item price
A$21.01
A$5.82 Delivery within USA

Show details

Description:
World Scientific Publishing Comp, 8/31/1999 12:00:01 A. hardcover. Very Good. 0.5315 in x 10.0906 in x 7.7992 in.
Add to wish list
Item price
A$21.01
A$5.82 Delivery within USA
Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency...
Stock photo: cover may vary

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

by Chennareddy, Venkateswarlu

  • Used
Condition
New
ISBN 10 / ISBN 13
9798878827706 / 9798878827705
Quantity available
5
Seller
United States GreatBookPrices
Overall Feedback:
This seller has earned a 4.2 of 5 Stars rating from Biblio customers.
Item price
A$21.87
A$5.82 Delivery within USA

Show details

Description:
like new.
Add to wish list
Item price
A$21.87
A$5.82 Delivery within USA
Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency...
Stock photo: cover may vary

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

by Chennareddy, Venkateswarlu

  • New
Condition
New
ISBN 10 / ISBN 13
9798878827706 / 9798878827705
Quantity available
5
Seller
United States GreatBookPrices
Overall Feedback:
This seller has earned a 4.2 of 5 Stars rating from Biblio customers.
Item price
A$21.87
A$5.82 Delivery within USA

Show details

Description:
new.
Add to wish list
Item price
A$21.87
A$5.82 Delivery within USA
Formal Methods of Program Verification and Specification

Formal Methods of Program Verification and Specification

by Franta

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
United States ThriftBooks
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$29.10
Free Delivery within USA

Show details

Description:
Prentice Hall, 1982. Hardcover. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
Item price
A$29.10
Free Delivery within USA
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Stock photo: cover may vary

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

by Franta

  • Used
  • Acceptable
  • Hardback
Condition
Acceptable
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
United States ThriftBooks
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$29.10
Free Delivery within USA

Show details

Description:
Prentice Hall, 1982. Hardcover. Acceptable. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
Item price
A$29.10
Free Delivery within USA
No image available

Fundamentals of Formal Specification and Verification M.Sc. GNDU

by Mehra Pritika

  • New
Condition
New
Edition
4TH
ISBN 10 / ISBN 13
9789327272970 / 9327272978
Quantity available
500
Seller
India Sanctum Books
Overall Feedback:
This seller has earned a 2.4 of 5 Stars rating from Biblio customers.
Item price
A$11.86
A$21.87 Delivery to USA

Show details

Description:
Kalyani Publishers, 4th 2017. 4TH. New.
Add to wish list
Item price
A$11.86
A$21.87 Delivery to USA
No image available

Fundamentals of Formal Specification and Verification M.Sc. GNDU

by Mehra Pritika

  • New
Condition
New
Edition
4TH
ISBN 10 / ISBN 13
9789327272970 / 9327272978
Quantity available
500
Seller
India BookVistas
Overall Feedback:
This seller has earned a 2.8 of 5 Stars rating from Biblio customers.
Item price
A$11.86
A$21.87 Delivery to USA

Show details

Description:
Kalyani Publishers, 4th 2017. 4TH. New.
Add to wish list
Item price
A$11.86
A$21.87 Delivery to USA
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer...
Stock photo: cover may vary

Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science 558)

by Hooman, J.

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9780387549477 / 0387549471
Quantity available
1
Seller
United Kingdom PsychoBabel & Skoob Books
Overall Feedback:
This seller has earned a 4.9 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$13.12
A$20.52 Delivery to USA

Show details

Description:
Berlin: Springer-Verlag, 1991. Lecture Notes in Computer Science 558; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. Paperback. Very Good/No Dust Jacket. Ex-Library.
Add to wish list
Item price
A$13.12
A$20.52 Delivery to USA
No image available

Fundamentals of Formal Specification and Verification M.Sc. GNDU

  • New
Condition
New
ISBN 10 / ISBN 13
9789327272970 / 9327272978
Quantity available
4
Seller
United States Cold Books
Overall Feedback:
This seller has earned a 4.0 of 5 Stars rating from Biblio customers.
Item price
A$38.33
A$5.82 Delivery within USA

Show details

Description:
Kalyani Publishers , . Other. New.
Add to wish list
Item price
A$38.33
A$5.82 Delivery within USA
Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency...

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

by VENKATESWARLU CHENNAREDDY

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9798878827706 / 9798878827705
Quantity available
759
Seller
United Kingdom Ria Christie Collections
Overall Feedback:
This seller has earned a 4.9 of 5 Stars rating from Biblio customers.
Item price
A$28.66
A$15.62 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book talks about the Specification and Verification of Distributed Shared Memory Relaxed Consistency Models specifically Weak Consistency Models. For this, an abstract Distributed Shared Memory (DSM) has been designed and implement
Add to wish list
Item price
A$28.66
A$15.62 Delivery to USA
No image available

Formal Methods of Program Verification and Specification

by Berg, H. K., W. R. Franta, T. G. Moher, W. E. Boebert

  • Used
  • Good
  • Paperback
  • first
Condition
Good
Edition
First edition
Binding
Paperback
Quantity available
1
Seller
United States Mythos Center Books
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$43.78
A$4.38 Delivery within USA

Show details

Description:
Minneapolis and Berlin: UMN, Honeywell and Institut fur Technische Informatik , 1979. First edition. Paperback. Good. Quarto, stiff wraps with black backstrip. Wraps are silverfished at head. 117 pages with references. Large program design and management. Laid in (may or may not be related) "Computation of Achromatic Objectives" by Robert E. Stephens. NBS Circular 549,
Add to wish list
Item price
A$43.78
A$4.38 Delivery within USA
Formal Methods of Program Verification and Specification
Stock photo: cover may vary

Formal Methods of Program Verification and Specification

by Helmut K. Berg et etc.

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
France AMMAREAL
Overall Feedback:
This seller has earned a 4.8 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$11.75
A$37.94 Delivery to USA

Show details

Description:
Longman Higher Education, 1982. Hardcover. Very Good. Former library book. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$11.75
A$37.94 Delivery to USA
Formal Methods of Program Verification and Specification
Stock photo: cover may vary

Formal Methods of Program Verification and Specification

by Helmut K. Berg et etc.

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
France AMMAREAL
Overall Feedback:
This seller has earned a 4.8 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$11.75
A$37.94 Delivery to USA

Show details

Description:
Longman Higher Education, 1982. Hardcover. Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$11.75
A$37.94 Delivery to USA
Formal Methods of Program Verification and Specification
Stock photo: cover may vary

Formal Methods of Program Verification and Specification

by Helmut K. Berg et etc.

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
France AMMAREAL
Overall Feedback:
This seller has earned a 4.8 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$11.75
A$37.94 Delivery to USA

Show details

Description:
Longman Higher Education, 1982. Hardcover. Very Good. Former library book. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$11.75
A$37.94 Delivery to USA
Formal Methods of Program Verification and Specification
Stock photo: cover may vary

Formal Methods of Program Verification and Specification

by Helmut K. Berg et etc.

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
France AMMAREAL
Overall Feedback:
This seller has earned a 4.8 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$11.75
A$37.94 Delivery to USA

Show details

Description:
Longman Higher Education, 1982. Hardcover. Very Good. Former library book. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$11.75
A$37.94 Delivery to USA
Specification and Verification of Concurrent Systems
Stock photo: cover may vary

Specification and Verification of Concurrent Systems

by Rattray, C.

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9780387195810 / 0387195815
Quantity available
1
Seller
United Kingdom PsychoBabel & Skoob Books
Overall Feedback:
This seller has earned a 4.9 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$31.12
A$20.52 Delivery to USA

Show details

Description:
Secaucus, New Jersey, U.S.A.: Springer-Verlag, 1990. former owner's sticker to fep.. Paperback. Very Good/No Dust Jacket. Clean Copy.
Add to wish list
Item price
A$31.12
A$20.52 Delivery to USA
Formal Methods of Programme Verification and Specification
Stock photo: cover may vary

Formal Methods of Programme Verification and Specification

by BERG, H.K. and OTHERS:

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Spain Librería La Candela
Overall Feedback:
This seller has earned a 5.0 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$5.01
A$46.72 Delivery to USA

Show details

Description:
.- Englewood, New Jersey. 1982. Prentice Hall. 4º menor. 207 pgs. Cartoné editorial. Firma anterior poseedor. Buen estado. . . ISBN 10: 0133288072. Informática
Add to wish list
Item price
A$5.01
A$46.72 Delivery to USA
Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency...
Stock photo: cover may vary

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

by Venkateswarlu Chennareddy

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9798878827706 / 9798878827705
Quantity available
10
Seller
United Kingdom The Saint Bookstore
Overall Feedback:
This seller has earned a 4.6 of 5 Stars rating from Biblio customers.
Biblio Top Seller
Item price
A$32.88
A$19.45 Delivery to USA

Show details

Description:
Paperback / softback. New.
Add to wish list
Item price
A$32.88
A$19.45 Delivery to USA
Add to wish list

Haven’t found what you’re looking for?

Try adding this search to your wish list. Millions of books are added to our site every day, and when we find one that matches your search, we'll email you. Best of all, it's free.

Add to wish list
Book lovers can save on books by joining our Bibliophiles Club.

Are you a regular reader or a book collector?

Join the Bibliophiles' Club and save up to 10% on every purchase, every day — up to $20 off per order.

Find out more about this item
Biblio is a socially responsible company

Social Responsibility

Did you know that, since 2004, Biblio has used its profits to build 16 public libraries in rural villages in South America?

Read about Biblio’s EPIC bottom line.

Please wait a moment while we load the requested page.

Please wait a moment while we load the requested page.