Importo totale (1 articolo articoli):
Destinazione ordine:
olderog (209 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (209)
- 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 (168)
- Come nuovo, Ottimo o Quasi ottimo (21)
- Molto buono o Buono (16)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (4)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (76)
- Non Print on Demand (144)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, . (Lecture Notes in Computer Science, 2469)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good.
-
Affare
EUR 5,84
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1999. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Stains on the edge. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Libro 14 di 16: Monographs in Computer ScienceLingua: Inglese
Editore: Springer-Verlag New York, Incorporated (edition ), 1991
ISBN 10: 0387975322 ISBN 13: 9780387975320
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
-
Verification of Sequential and Concurrent Programs
Libro 14 di 16: Monographs in Computer ScienceDa: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Used book that is in clean, average condition without any missing pages.
-
Programmverifikation : sequentielle, parallele und verteilte Programme. Springer-Lehrbuch
Lingua: Tedesco
Editore: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540574794 ISBN 13: 9783540574798
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 2,95
Spedizione EUR 12,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover-Großformat. Condizione: Gut. XII, 258 S. Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 440.
-
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Libro 14 di 16: Monographs in Computer ScienceLingua: Inglese
Editore: Springer-Verlag New York, Incorp, 1991
ISBN 10: 0387975322 ISBN 13: 9780387975320
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
Libro 8 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, Cambridge, 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 16,62
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Hardcover, printed boards, without jacket; Cambridge Tracts in Theoretical Computer Science 23. One or two minor marks on boards; leading corners slightly worn; spine ends bumped. Pages clean throughout with sound binding; all content clear. TS. Used.
-
Verification of Sequential and Concurrent Programs
Libro 14 di 16: Monographs in Computer ScienceDa: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Used book that is in clean, average condition without any missing pages.
-
Faktoren des Markterfolges im Online-Handel. Gabler Edition Wissenschaft.
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 12,95
Spedizione EUR 12,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. 407 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einbandkanten sind etwas bestoßen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 550.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, . (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Ex-library paperback in good condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Band 23)
Libro 8 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press 03.10.1991., 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 22,28
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. 278 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 24,8 x 17,2 x 2,0 cm, Gebundene Ausgabe.
-
Nets, Terms and Formulas. Three Views of Concurrent Processes and their Relationship. [Cambridge Tracts in Theoretical Computer Science, Vol. 23].
Lingua: Inglese
Editore: Cambridge University Press, 2008
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Membro dell'associazione: GIAQ
Valutazione del venditore 5 su 5 stelle
EUR 12,90
Spedizione EUR 25,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover/Paperback. Condizione: Sehr gut. Revised ed. 280 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 505.
-
Correct System Design : Recent Insights and Advances
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,04
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science, 1710)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,85
Spedizione EUR 3,44
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Libro 14 di 16: Monographs in Computer ScienceEUR 56,55
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 2002 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,44
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... (Lecture Notes in Computer Science, 2469)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,25
Spedizione EUR 3,44
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Libro 8 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521018455 ISBN 13: 9780521018456
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,52
Spedizione EUR 3,44
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Strategien für den Lernerfolg berufstätiger Studierender: Empirische Analysen zum Lernverhalten (AKAD University Edition) (German Edition)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 29,56
Spedizione EUR 3,44
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 2002 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,27
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Correct System Design : Recent Insights and Advances
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,27
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Libro 14 di 16: Monographs in Computer ScienceDa: killarneybooks, Inagh, CLARE, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 25,50
Spedizione EUR 34,84
Spedito da Irlanda a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Near Fine. 3rd Edition. Hardcover, 3rd edition, xxiii + 502 pages, NOT ex-library. Shipping weight over 1kg. Signs of mild wear, book is clean and bright with unmarked text, free of inscriptions and stamps, firmly bound. Issued without a dust jacket. -- An in-depth exploration of the methodologies and techniques used for verifying the correctness of both sequential and concurrent programs. This comprehensive text delves into the theoretical foundations and practical applications of program verification. The book covers a range of topics, including formal methods, algorithmic analysis, and model checking, making it an essential resource for computer scientists, researchers, and students interested in ensuring software reliability and performance. With its detailed explanations and illustrative examples, the book equips readers with the knowledge needed to address complex verification challenges in modern computing systems.
-
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science, 1710)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 65,68
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship (Paperback)
Libro 8 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, Cambridge, 2005
ISBN 10: 0521018455 ISBN 13: 9780521018456
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent processes; and logical formulas specify the intended communication behaviour of processes. At the heart of this theory are two sets of transformation rules for the top-down design of concurrent processes. The first set can be used to transform stepwise logical formulas into process terms, whilst process terms can be transformed into Petri nets by the second set. These rules are based on novel techniques for the operational and denotational semantics of concurrent processes. Various results and relationships between nets, terms and formulas starting with formulas and illustrated by examples. The use of transformations is demonstrated in a series of case studies, and the author also identifies directions for future research. The book is written for graduate students and researchers in computer science; the author assumes a basic understanding of mathematical terminology, predicate logic and programming, but develops the semantic concepts used in a self-contained manner. The core of the material can be used for a one-semester course on concurrent processes. The book is self-contained in the semantics used, and will be of considerable interest to researchers and graduates in computer science working in models of concurrency. The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the communication behavior of processes as required by their users. The main emphasis and technical contribution of this theory are transformations for a top-down design of concurrent processes starting with formulas and proceeding through terms to nets. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Verification of Sequential and Concurrent Programs
Libro 14 di 16: Monographs in Computer ScienceDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 52,61
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
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.
-
Real-Time Systems: Formal Specification And Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
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.
-
Gastro-Management
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 34,10
Spedizione EUR 4,80
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Condizione: As New. Unread book in perfect condition.
-
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 66,28
Spedizione EUR 3,44
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
