Importo totale (1 articolo articoli):
Destinazione ordine:
advances temporal logic (41 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (41)
- 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 (34)
- Come nuovo, Ottimo o Quasi ottimo (6)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
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 (23)
- Non Print on Demand (30)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Advances in Temporal Logic (Applied Logic Series, 16)
Da: Solr Books, Lincolnwood, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
-
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 133,18
EUR 13,57 per la spedizione da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 157,39
EUR 3,44 per la spedizione in U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Verification of Time Petri Nets And Timed Automata : A Temporal Logic Approach
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 159,90
EUR 2,27 per la spedizione in U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Temporal Logic (Applied Logic Series)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 158,71
EUR 3,44 per la spedizione in U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 158,71
EUR 3,44 per la spedizione in U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Temporal Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 160,15
EUR 2,27 per la spedizione in U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Temporal Logic (Applied Logic Series, 16)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 158,96
EUR 3,44 per la spedizione in U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 156,52
EUR 13,57 per la spedizione da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Advances in Temporal Logic (Applied Logic Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 156,52
EUR 13,57 per la spedizione da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Advances in Temporal Logic (Applied Logic Series, 16)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 156,52
EUR 13,57 per la spedizione da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Advances in Temporal Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 156,50
EUR 16,99 per la spedizione da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Verification of Time Petri Nets And Timed Automata : A Temporal Logic Approach
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 156,50
EUR 16,99 per la spedizione da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Temporal Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 178,52
EUR 2,27 per la spedizione in U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Advances in Temporal Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 177,61
EUR 16,99 per la spedizione da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Advances in Temporal Logic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 468.
-
EUR 141,30
EUR 70,00 per la spedizione da Germania a U.S.A.Quantitą: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Advances in Temporal Logic | Howard Barringer (u. a.) | Taschenbuch | ix | Englisch | 2010 | Springer Netherland | EAN 9789048153893 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 141,30
EUR 70,00 per la spedizione da Germania a U.S.A.Quantitą: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Advances in Verification of Time Petri Nets and Timed Automata | A Temporal Logic Approach | Agata Pólrola (u. a.) | Taschenbuch | xxxii | Englisch | 2010 | Springer Berlin | EAN 9783642069420 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Advances in Temporal Logic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 464.
-
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg, 2010
ISBN 10: 3642069428 ISBN 13: 9783642069420
Lingua: Inglese
EUR 160,49
EUR 62,23 per la spedizione da Germania a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. 'Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach' introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques. The book addresses research scientists as well as graduate and PhD students in computer science, logics, and engineering of real time systems.
-
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach
Editore: Springer Berlin Heidelberg, 2006
ISBN 10: 3540328696 ISBN 13: 9783540328698
Lingua: Inglese
EUR 160,49
EUR 63,03 per la spedizione da Germania a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. 'Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach' introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques. The book addresses research scientists as well as graduate and PhD students in computer science, logics, and engineering of real time systems.
-
Advances in Temporal Logic
Editore: Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048153891 ISBN 13: 9789048153893
Lingua: Inglese
EUR 164,49
EUR 63,52 per la spedizione da Germania a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems.
-
EUR 178,14
EUR 48,99 per la spedizione da Germania a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Time is a fascinating subject and has long since captured mankind s imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, t.
-
Advances in Temporal Logic
Editore: Springer Netherlands, Springer Netherlands, 1999
ISBN 10: 0792361490 ISBN 13: 9780792361497
Lingua: Inglese
EUR 168,73
EUR 64,32 per la spedizione da Germania a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems.
-
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 231,78
EUR 11,33 per la spedizione da Regno Unito a U.S.A.Quantitą: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 257 pages. 9.25x6.00x0.66 inches. In Stock.
-
Advances in Temporal Logic (Applied Logic Series)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 235,75
EUR 14,16 per la spedizione da Regno Unito a U.S.A.Quantitą: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 464 pages. 9.25x6.10x1.06 inches. In Stock.
-
Advances in Verification of Time Petri Nets And Timed Automata : A Temporal Logic Approach
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 250,88
EUR 16,99 per la spedizione da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence (20))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 241,55
EUR 28,32 per la spedizione da Regno Unito a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence (20))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 242,72
EUR 28,32 per la spedizione da Regno Unito a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
-
Advances in Verification of Time Petri Nets And Timed Automata : A Temporal Logic Approach
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 275,63
EUR 2,27 per la spedizione in U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
