Order Total (1 Item Items):
Shipping Destination:
Inan Kemal (22 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (22)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (17)
- As New, Fine or Near Fine (2)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (5)
- Not Print on Demand (16)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Condition: New. pp. 405.
-
Condition: New. pp. 405.
-
Condition: New. pp. 405.
-
1. International Erotic Art Exhebition = Sanatta Erotizm 1. Uluslararasi Sergisi. 13 - 22 Nisan / April 1990. Texts by Kaza Ozsezgin.
Language: English
Published by Lefkosa: 1990., Lefkosa:, 1990
Soft cover. Condition: Very Good. SAGBIL, CEM - FRANTISEK VOREL - JOBST TILMANN - P.ACHIM FREYSCHMIDTH - ANTON PETZ ERGIN INAN - DEVRIM ERBIL KEMAL ISKENDER et al. 1. International Erotic Art Exhebition = Sanatta Erotizm 1. Uluslararasi Sergisi. 13 - 22 Nisan / April 1990. Texts by Kaza Ozsezgin. Lefkosa: 1990. Large 8vo., 56 p. In Turkish and English. Paperback. Very good ISBN: CATALOG: Painting & Sculpture KEYWORDS: Painting Exhibition Art.
-
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Teknoloji Islevsizlik - Kitle Uretiminden Yaratici Tasarima
Language: Turkish
Published by Iletisim Yayinlari, Istanbul, 2012
ISBN 10: 9750510798 ISBN 13: 9789750510793
Condition: New. Editors: Translator: pages.
-
-
US$ 105.24
US$ 34.06 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
-
Verification of Digital and Hybrid Systems (NATO ASI Subseries F:)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 132.32
US$ 16.32 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 428.
-
Verification of Digital and Hybrid Systems
Language: English
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642640524 ISBN 13: 9783642640520
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out.
-
Bilgi Toplumuna Gecerken Teknolojik Is(lev)sizlik
Language: Turkish
Published by Iletisim Yayinlari, n/a, 2019
ISBN 10: 9750526414 ISBN 13: 9789750526411
Condition: New. Editors: Translator: pages.
-
US$ 209.08
US$ 34.06 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
N.A. Condition: New. ISBN:9783540655954.
-
Verification of Digital and Hybrid Systems
Language: English
Published by Springer Berlin Heidelberg Sep 2011, 2011
ISBN 10: 3642640524 ISBN 13: 9783642640520
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out. 428 pp. Englisch.
-
Verification of Digital and Hybrid Systems
Language: English
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642640524 ISBN 13: 9783642640520
US$ 112.86
US$ 58.18 shipping
Ships from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997.|Tutorial overview of state of the art in computer-aided verificationEmphasis on industrial applications and hybrid systems.
-
US$ 160.54
US$ 8.86 shipping
Ships from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand pp. 428 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Condition: New. PRINT ON DEMAND pp. 428.
-
Verification of Digital and Hybrid Systems
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2011, 2011
ISBN 10: 3642640524 ISBN 13: 9783642640520
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.
-
Taschenbuch. Condition: Neu. Verification of Digital and Hybrid Systems | M. Kemal Inan (u. a.) | Taschenbuch | xviii | Englisch | 2011 | Springer | EAN 9783642640520 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
