Software Abstractions - Logic, Language, and Analysis 2006.pdf

(5063 KB) Pobierz

81441655 UNPDF

Software Abstractions

Logic, Language, and Analysis

Daniel Jackson

81441655.050.png

81441655.051.png

81441655.052.png

81441655.053.png

81441655.001.png

81441655.002.png

Software Abstractions: Logic, Language, and Analysis

81441655.003.png

81441655.004.png

81441655.005.png

81441655.006.png

81441655.007.png

81441655.008.png

81441655.009.png

81441655.010.png

81441655.011.png

81441655.012.png

81441655.013.png

81441655.014.png

81441655.015.png

81441655.016.png

81441655.017.png

81441655.018.png

81441655.019.png

81441655.020.png

81441655.021.png

81441655.022.png

81441655.023.png

81441655.024.png

81441655.025.png

81441655.026.png

Abstractions

Logic, Language,

and Analysis

Daniel Jackson

he MIT Press

Cambridge, Massachusetts

London, England

Software

81441655.027.png

81441655.028.png

81441655.029.png

81441655.030.png

81441655.031.png

81441655.032.png

81441655.033.png

81441655.034.png

81441655.035.png

81441655.036.png

81441655.037.png

© 2006 Daniel Jackson

All rights reserved. No part of this book may be reproduced in any form by

any electronic or mechanical means (including photocopying, recording, or

information storage and retrieval) without permission in writing from the

publisher.

MIT Press books may be purchased at special quantity discounts for busi-

ness or sales promotion use. For information, please email special_sales@

mitpress.mit.edu or write to Special Sales Department, he MIT Press, 55

Hayward Street, Cambridge, MA 02142.

his book was set in Adobe Warnock and ITC Oicina Sans, by the author,

using Adobe Indesign and his own software, on Apple computers. Diagrams

were drawn with OmniGrale Pro. Printed and bound in the United States

of America.

Library of Congress Cataloguing-in-Publication Data

Jackson, Daniel.

Software abstractions : logic, language, and analysis / Daniel Jackson.

p. cm.

Includes bibliographical references and index.

ISBN 0-262-10114-9 (alk. paper)

1. Computer software—Development. I. Title.

QA76.76.D47J29 2006 005.1—dc22 2005056155

10 9 8 7 6 5 4 3 2 1

81441655.038.png

81441655.039.png

81441655.040.png

81441655.041.png

81441655.042.png

81441655.043.png

81441655.044.png

81441655.045.png

81441655.046.png

81441655.047.png

81441655.048.png

81441655.049.png

Plik z chomika:

Inne pliki z tego folderu:

Algorithims In Java Parts 1-4 3rd ed 2002.chm (5541 KB)
Algorithms and Data Structures in C++ 1993.chm (13870 KB)
Beginning Algorithims 2006.pdf (9443 KB)
Calculus Demystified 2003.pdf (3913 KB)
Cryptography For Dummies 2004.chm (4085 KB)

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin