Importo totale (1 articolo articoli):
Destinazione ordine:
colin stirling (42 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (42)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (29)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (6)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (3)
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (2)
- Con foto (18)
- Non Print on Demand (29)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Stirling Moss : Great Drives in the Lakes and Dales
Da: MusicMagpie, Stockport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 3,42
Spedizione EUR 6,36
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. 1776693454. 4/20/2026 1:57:34 PM.
-
Stirling Moss: Great Drives in the Lakes and Dales
Da: Greener Books, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 4,16
Spedizione EUR 18,51
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloHardcover. Condizione: Used; Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
-
Stirling Moss: Great Drives in the Lakes and Dales
Da: Greener Books, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 4,16
Spedizione EUR 18,51
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Used; Very Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
-
Modal and Temporal Properties of Processes
Libro 31 di 83: Texts in Computer ScienceDa: avelibro OHG, Dinkelscherben, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 15,00
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello23,5 x 17,5 cm. Condizione: Gut. 1. Auflage. XII, 190 Seiten Mit 45 Abbildungen. - Innen sehr sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Sehr gutes Bibliotheksexemplar. - Texts in Computer Science. B06-03-06C|A40 Sprache: Englisch Gewicht in Gramm: 550.
-
Jim Clark Portrait of a Great Driver
Lingua: Inglese
Editore: Paul Hamlyn, London, 1968
Da: Alexander's Books, Royal Leamington Spa, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 14,31
Spedizione EUR 11,58
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Near Fine. Condizione sovraccoperta: Very Good. 1st Edition. First edition first printing octavo hardback, 204 pp Illustrated Near Fine condition in Very Good unclipped dust jacket Original owner's name and address on inside cover.Newspaper photo of Clark's gravestone loosely enclosed.
-
Modal and Temporal Properties of Processes (Texts in Computer Science)
Libro 31 di 83: Texts in Computer ScienceDa: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 30,94
Spedizione EUR 12,32
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Proof, Language, And Interaction
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Proof, Language, And Interaction
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Modal and Temporal Properties of Processes (Texts in Computer Science)
Libro 31 di 83: Texts in Computer ScienceDa: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 38,79
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Auflage: 2001. 191 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,6 x 17,9 x 1,3 cm, Gebundene Ausgabe.
-
Modal and Temporal Properties of Processes
Libro 31 di 83: Texts in Computer ScienceDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 54,47
Spedizione EUR 13,87
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Modal and Temporal Properties of Processes (Texts in Computer Science)
Libro 31 di 83: Texts in Computer ScienceDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,57
Spedizione EUR 13,87
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In English.
-
Modal and Temporal Properties of Processes
Libro 31 di 83: Texts in Computer ScienceDa: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,96
Spedizione EUR 17,93
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Modal and Temporal Properties of Processes
Libro 31 di 83: Texts in Computer ScienceDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 204.
-
Modal and Temporal Properties of Processes
Libro 31 di 83: Texts in Computer ScienceDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xii + 191.
-
Modal and Temporal Properties of Processes
Libro 31 di 83: Texts in Computer ScienceDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 74,32
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xii + 191 Illus.
-
Proof, Language, and Interaction
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 77,67
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. xiv + 722 Illus.
-
Proof, Language, and Interaction
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. xiv + 722 1st Edition.
-
EUR 37,04
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Colin Nicolson is Lecturer in History at the University of Stirling.Owen Dudley Edwards is an Irish historian and former Reader in Commonwealth and American History at the University of Edinburgh.Imaginary Friendship is .
-
Modal and Temporal Properties of Processes (Texts in Computer Science)
Libro 31 di 83: Texts in Computer ScienceDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 77,93
Spedizione EUR 11,58
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2001 edition. 202 pages. 9.25x7.01x0.46 inches. In Stock.
-
Proof, Language, and Interaction
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 79,22
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. xiv + 722.
-
JAMES STIRLING. OBRAS Y PROYECTOS (GUSTAVO GILI)
Prima edizione
EUR 25,00
Spedizione EUR 49,00
Spedito da Spagna a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEncuadernación de tapa dura. Condizione: Excelente. Condizione sovraccoperta: Excelente. 1ª Edición.
-
Imaginary Friendship in the American Revolution : John Adams and Jonathan Sewall
Libro 1 di 3: Perspectives on Early AmericaLingua: Inglese
Editore: Taylor & Francis Ltd Sep 2020, 2020
ISBN 10: 0367664356 ISBN 13: 9780367664350
EUR 44,43
Spedizione EUR 61,80
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - This book is a microhistory of how friendship operated in the American Revolution. It explores the friendship of two political adversaries whose careers coincided with and were shaped by the escalating imperial crisis of 1760-75: the Patriot and future US president John Adams and the prominent Loyalist Jonathan Sewall.
-
EUR 56,97
Spedizione EUR 61,98
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: - process calculi for modeling concurrent systems- modal properties of systems and bisimulation equivalence presented in terms of games - temporal properties of systems- modal mu-calculus as a general purpose temporal logic- verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems.The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Modal and Temporal Properties of Processes | Colin Stirling | Taschenbuch | Texts in Computer Science | xii | Englisch | 2011 | Springer | EAN 9781441931535 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Modal and Temporal Properties of Processes
Libro 31 di 83: Texts in Computer ScienceLingua: Inglese
Editore: Springer New York, Springer New York, 2001
ISBN 10: 0387987177 ISBN 13: 9780387987170
EUR 58,55
Spedizione EUR 62,77
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: - process calculi for modeling concurrent systems- modal properties of systems and bisimulation equivalence presented in terms of games - temporal properties of systems- modal mu-calculus as a general purpose temporal logic- verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems.The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification.
-
Modal and Temporal Properties of Processes (Texts in Computer Science)
Libro 31 di 83: Texts in Computer ScienceDa: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 132,35
Spedizione EUR 28,94
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Longman Companion to the First World War
Libro 8 di 16: Longman Companions To HistoryDa: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 245,81
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Series: Longman Companions to History (Hardcover). BIC Classification: HBG; HBWN. Category: (G) General (US: Trade). . . . Hardback. . . . .
-
Longman Companion to the First World War
Libro 8 di 16: Longman Companions To HistoryDa: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 311,08
Spedizione EUR 9,11
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Series: Longman Companions to History (Hardcover). BIC Classification: HBG; HBWN. Category: (G) General (US: Trade). . . . Hardback. . . . . Books ship from the US and Ireland.
-
I Musei di James Stirling Michael Wilford and Associates
Editore: Milano: Electa, 1990, 1990
Da: °ART...on paper - 20th Century Art Books, Lugano, Svizzera
Membro dell'associazione: ILAB
Valutazione del venditore 5 su 5 stelle
EUR 84,17
Spedizione EUR 25,00
Spedito da Svizzera a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. 2nd Edition. 8° - 226pp - Color & B/w reproductions. James Stirling (1926-1992) British architect and Pritzker Laureate grew up in Liverpool, one of the two industrial powerhouses of the British North West. First Italian edition, text in Italian. Original boards. In Fine condition.
-
Modal and Temporal Properties of Processes (eng)
Libro 31 di 83: Texts in Computer ScienceDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 46,22
Spedizione EUR 5,50
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
