Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10: 3540195777 ISBN 13: 9783540195771
Seller: Ammareal, Morangis, France
Softcover. Condition: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10: 3540195777 ISBN 13: 9783540195771
Seller: Ammareal, Morangis, France
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
hardcover. Condition: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!
Language: English
Published by Cambridge University Press, Cambridge, 1988
ISBN 10: 0521333814 ISBN 13: 9780521333818
Hardcover. Condition: Very good. First Edition, First Printing. Thick octavo. 7 x 10 in. xvii, 519 pp. Very good in original paper-covered boards with mild toning and foxing to exterior.
Published by ABC-CLIO
Seller: Academic Book Solutions, Medford, NY, U.S.A.
hardcover. Condition: VeryGood. A copy that may have been read, very minimal wear and tear. May have a remainder mark.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.19
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.27
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 89.05
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 146 pages. 9.61x6.69x0.34 inches. In Stock.
Language: English
Published by University Press of Colorado, 1993
ISBN 10: 0870813196 ISBN 13: 9780870813191
Seller: Southampton Books, Sag Harbor, NY, U.S.A.
First Edition
Hardcover. Condition: Like New. First Edition. First Edition, First Printing. Not price-clipped. Published by University Press of Colorado, 1993. Octavo. Hardcover. Book is like new. Dust jacket is like new with very light edgewear/nicks. A lovely copy of this scarce title studying archaeoastronomy. 100% positive feedback. 30 day money back guarantee. NEXT DAY SHIPPING! Excellent customer service. Please email with any questions. All books packed carefully and ship with free delivery confirmation/tracking. All books come with free bookmarks. Ships from Sag Harbor, New York.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 1107019788 ISBN 13: 9781107019782
Seller: Nauka Japan LLC, Tokyo, Japan
First Edition
Hardcover. Condition: New. 1st Edition. OH 2009-0404.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 1107019788 ISBN 13: 9781107019782
Seller: Nauka Japan LLC, Tokyo, Japan
First Edition
Hardcover. Condition: New. 1st Edition. OH 2009-0404.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 119.71
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 3. 1 What are formal methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1 FDTs and FSLs for sequential software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1. 1 VDM (Vienna Development Method). . . . . . . . . . . . . . . . . . . . . 19 3. 2. 1. 2 Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 3 me too . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 4 HOS and AXES. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 5 Gist. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 6 Clear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 7 OBJ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 8 ACT ONE and ACT TWO. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 9 CIP-L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 10 LPG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 11 Larch. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 12 Logic languages-the Prolog family. . . . . . . . . . . . . . . . . . . 22 3. 2. 1. 13 Functional languages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3. 2. 2 FDTs and FSLs for concurrent software. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3. 2. 2. 1 LOTOS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3. 2. 2. 2 Estelle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 3 SDL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 4 ASN. l . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 5 TTCN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 2. 6 Gypsy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3 Graphical formalisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3. 1 Petri nets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3. 2 Higraphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 4 Less formal methods and notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 1 SADT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 2 Structured Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 3 SSADM and LSDM . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 119.70
Quantity: Over 20 available
Add to basketCondition: New.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Formal Methods in Standards | A Report from the BCS Working Group | Clive L. N. Ruggles | Taschenbuch | xi | Englisch | 1990 | Springer | EAN 9783540195771 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 134.72
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Colorado University Press, 1993
ISBN 10: 0870813196 ISBN 13: 9780870813191
Seller: Midway Book Store (ABAA), St. Paul, MN, U.S.A.
First Edition
Hardcover. Condition: very good/very good. First edition. Octavo. .9 1/4' x 6". 344pp. Nice copy in dust jacket.
Language: English
Published by Cambridge University Press, Cambridge, 1988
ISBN 10: 0521333814 ISBN 13: 9780521333818
Seller: HJP VERSANDBUCHHANDLUNG, WEDEL, SH, Germany
First Edition
Hardcover. Condition: Good. 1st Edition. xvii + 517 p; Many Ill and Fig.
Condition: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.
US$ 187.91
Quantity: 1 available
Add to baskethardcover. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 205.33
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. illustrated edition. 518 pages. 10.50x7.50x1.25 inches. In Stock.
Language: English
Published by Springer-Verlag New York Inc., New York, NY, 2014
ISBN 10: 1461461405 ISBN 13: 9781461461401
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Hardcover. Condition: new. Hardcover. How human communities interpret what they perceive in the sky is vital in fulfilling humankinds most basic need to comprehend the universe it inhabits, both from a modern scientific perspective and from countless other cultural standpoints, extending right back to early prehistory. Archaeoastronomy, which is concerned with cultural perceptions and understandings of astronomical phenomena, is a rich cross-disciplinary field. The central aim of Handbook of Archaeoastronomy is to provide a reliable source for theory, method, interpretation and best practices that will give a definitive picture of the state of the art research in this field for serious scholars regardless of the discipline(s) in which they are qualified. It will be equally suitable for those already contributing to the field and those interested in entering it. Also included are studies in ethnoastronomy, which is concerned with contemporary practices related to astronomy, particularly among modern indigenous societies. A major part of this MRW is comprised of a set of wide-ranging archaeoastronomical case studies both geographically and through time, stretching right back to Palaeolithic days, and also in terms of the types of human society and nature of their astronomical ideas and practices. However, these are chosen in order to best illuminate broader issues and themes, rather than to attempt, for example, to provide systematic coverage of recent discoveries. Thematic articles cover general themes such as cosmologies, calendars, navigation, orientations and alignments, and ancient perceptions of space and time. They also highlight various aspects of the social context of astronomy (its relationship to social power, warfare, etc) and how we interpret astronomical practices within the framework of conceptual approaches. There are also discussions of broad issues such as ethnocentrism, nationalism, and astronomical dating. The methods and practices articles cover topicsfrom field methodology and survey procedures to social theory, as well as providing broad definitions and explanations of key concepts. We are also including a number of disciplinary perspectives on approaches to archaeoastronomy written by leading figures in the constituent fields. These articles cover material that, generally speaking, would be familiar to graduates in the relevant discipline but, critically, not so to those with different backgrounds. They also highlight various aspects of the social context of astronomy (its relationship to social power, warfare, etc) and how we interpret astronomical practices within the framework of conceptual approaches. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Springer New York, Springer US, 2014
ISBN 10: 1461461405 ISBN 13: 9781461461401
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - How human communities interpret what they perceive in the sky is vital in fulfilling humankind's most basic need to comprehend the universe it inhabits, both from a modern scientific perspective and from countless other cultural standpoints, extending right back to early prehistory. Archaeoastronomy, which is concerned with cultural perceptions and understandings of astronomical phenomena, is a rich cross-disciplinary field. The central aim of 'Handbook of Archaeoastronomy' is to provide a reliable source for theory, method, interpretation and best practices that will give a definitive picture of the state of the art research in this field for serious scholars regardless of the discipline(s) in which they are qualified. It will be equally suitable for those already contributing to the field and those interested in entering it. Also included are studies in ethnoastronomy, which is concerned with contemporary practices related to astronomy, particularly among modern indigenous societies. A major part of this MRW is comprised of a set of wide-ranging archaeoastronomical case studies both geographically and through time, stretching right back to Palaeolithic days, and also in terms of the types of human society and nature of their astronomical ideas and practices. However, these are chosen in order to best illuminate broader issues and themes, rather than to attempt, for example, to provide systematic coverage of recent 'discoveries.' Thematic articles cover general themes such as cosmologies, calendars, navigation, orientations and alignments, and ancient perceptions of space and time. They also highlight various aspects of the social context of astronomy (its relationship to social power, warfare, etc) and how we interpret astronomical practices within the framework of conceptual approaches. There are also discussions of broad issues such as ethnocentrism, nationalism, and astronomical dating. The 'methods and practices' articles cover topicsfrom field methodology and survey procedures to social theory, as well as providing broad definitions and explanations of key concepts. We are also including a number of 'disciplinary perspectives' on approaches to archaeoastronomy written by leading figures in the constituent fields. These articles cover material that, generally speaking, would be familiar to graduates in the relevant discipline but, critically, not so to those with different backgrounds.
US$ 2,416.41
Quantity: 1 available
Add to basketHardcover. Condition: Brand New. 2333 pages. 9.00x6.25x5.00 inches. In Stock.
Published by ABC-CLIO, Santa Barbara, 2005
Seller: Bij tij en ontij ..., Kloosterburen, NL, Netherlands
Hardcover, 26 cm, 518 pp. Ills.: black and white illustrations. Cond.: zeer goed / very good. ISBN: 9781851094776.
University Press of Colorado, Niwot 1993. xviii, 344 pp. Publisher's cloth with d/w. Fine condition. (Oxford International Symposium on Archaeoastronomy).