The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs
de Baber, Robert L
- Usado
- Bien
- Firmado
- First
- Estado
- Bien
- ISBN 10
- 0471914746
- ISBN 13
- 9780471914747
- Librería
-
Topsfield, Massachusetts, United States
Formas de pago aceptadas
Sobre este artículo
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- Kuenzig Books (US)
- Inventario del vendedor #
- 10345
- Título
- The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs
- Autor
- Baber, Robert L
- Formato/Encuadernación
- Boards
- Estado del libro
- Usado - Bien
- Cantidad disponible
- 1
- Edición
- First Edition
- ISBN 10
- 0471914746
- ISBN 13
- 9780471914747
- Editorial
- John Wiley & Sons, Ltd
- Lugar de publicación
- Chichester, New York, Brisbane, Toronto, Singapore
- Fecha de publicación
- 1987
- Palabras clave
- ELECTRONIC DIGITAL COMPUTERS PROGRAMMING GENERAL ;
Términos de venta
Kuenzig Books
Reserved items are held for 7 days pending receipt of payment. Reservations may be made by phone or email. Please identify the author, title, and stock number of the item. We accept wire transfers, checks and money orders drawn on U.S. banks in U.S. dollars. We also accept Paypal and American Express, Mastercard, VISA and Discover cards. Our Guarantee: All purchases are returnable within 30 days IF NOT AS DESCRIBED, presuming they are received in the same condition as sent. Please insure return shipments, and contact us in advance in order to make appropriate arrangements.
Sobre el vendedor
Kuenzig Books
Sobre Kuenzig Books
Glosario
Algunos términos que podrían usarse en esta descripción incluyen:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
- Half Title
- The blank front page which appears just prior to the title page, and typically contains only the title of the book, although, at...
- Association Copy
- An association copy is a copy of a book which has been signed and inscribed by the author for a personal friend, colleague, or...
- Edges
- The collective of the top, fore and bottom edges of the text block of the book, being that part of the edges of the pages of a...
- Title Page
- A page at the front of a book which may contain the title of the book, any subtitles, the authors, contributors, editors, the...
- Inscribed
- When a book is described as being inscribed, it indicates that a short note written by the author or a previous owner has been...
- First Edition
- In book collecting, the first edition is the earliest published form of a book. A book may have more than one first edition in...