Modeling Time in Computing.
Furia, Carlo A.:
Venduto da Antiquariat Bookfarm, Löbnitz, Germania
Venditore AbeBooks dal 28 ottobre 2009
Usato - Rilegato
Quantità: 1 disponibili
Aggiungere al carrelloVenduto da Antiquariat Bookfarm, Löbnitz, Germania
Venditore AbeBooks dal 28 ottobre 2009
Quantità: 1 disponibili
Aggiungere al carrello424 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783642323317 Sprache: Englisch Gewicht in Gramm: 990.
Codice articolo 2340168
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.
After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.
The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Visita la pagina della libreria
Avviso di revoca/
Condizioni Generali di Contratto e informazioni per i clienti/
Informativa sulla privacy
Diritto di recesso per consumatori
(Il consumatore è qualsiasi persona fisica che conclude un negozio giuridico per scopi che non possono essere attribuiti alla sua attività professionale nè commerciale nè autonoma.)
Informativa sul diritto di recesso
Diritto di recesso
Il presente contratto può essere rescisso entro 30 giorni senza obbligo di specificarne i motivi.
Il termine di revoca è d...
Diritto di recesso per consumatori
(Il consumatore è qualsiasi persona fisica che conclude un negozio giuridico per scopi che non possono essere attribuiti alla sua attività professionale nè commerciale nè autonoma.)
INFORMATIVA SUL DIRITTO DI RECESSO
Diritto di recesso
Il presente contratto può essere rescisso entro 30 giorni senza obbligo di specificarne i motivi.
Il termine di revoca è di 30 giorni a partire dalla data
in cui voi o un terzo da voi nominato, che non è il trasportatore, avete o ha preso in consegna la merce, qualora abbiate ordinato una o più merci nell'ambito di un ordine unico e queste merci vengano consegnate in un unica fornitura;
in cui voi o un terzo da voi nominato, che non è il trasportatore, avete o ha preso in consegna l'ultima merce, qualora abbiate ordinato più merci nell'ambito di un ordine unico e queste vengano consegnate separatamente;
in cui voi o un terzo da voi nominato, che non è il trasportatore, avete o ha preso in consegna l'ultima fornitura parziale o l'ultimo pezzo, qualora abbiate ordinato una merce che viene consegnata in diverse forniture parziali o pezzi;
Per esercitare il vostro diritto di recesso, dovete informarci (Sebastian Seckfort, Luftpark 2, 04509 Löbnitz, Numero di telefono: 034133756121, Indirizzo E-Mail: kontakt@bookfarm.de) mediante una dichiarazione univoca (p. es. una lettera postale, un fax o una e-mail) relativa alla vostra decisione di rescindere il contratto. A tale proposito potete utilizzare il facsimile del modello di lettera di revoca allegato che però non è prescritto.
Al fine dell'osservanza del termine di revoca è sufficiente che la comunicazione relativa all'esercizio del diritto di recesso venga spedita prima della scadenza del termine di revoca.
Conseguenze del recesso
Qualora rescindiate il presente contratto, abbiamo l'obbligo di restituirvi tutti i pagamenti che abbiamo ricevuto da voi, comprese le spese di spedizione (eccetto i costi aggiuntivi che risultano dal fatto che abbiate scelto un termine di consegna diverso dalla consegna standard più vantaggiosa da noi offerta), immediatamente e al più tardi entro 14 giorni dalla data in cui ci è pervenuta la comunicazione relativa alla vostra revoca del presente contratto. Per questa restituzione utilizziamo la stessa modalità di pagamento che avete usato al momento della transazione originaria, salvo diversamente concordato esplicitamente; in nessun caso vi verranno addebitati costi per tale restituzione.
Noi possiamo rifiutare di restituire il pagamento fino a quando abbiamo ricevuto la merce oppure fino a quando ci portate la prova che avete spedito indietro la merce, a seconda di qual è il momento antecedente.
Voi dovete spedirci o consegnarci la merce immediatamente e in ogni caso al più tardi entro 14 giorni a partire dalla data in cui ci informate circa la revoca del presente contratto . Il termine viene concesso se spedite la merce prima della scadenza del termine di 14 giorni.
Noi assumiamo i costi della restituzione delle merci.
Voi siete responsabili per eventuali perdite di valore delle merci, solo se tale perdita è riconducibile un trattamento delle stesse non necessario al fine del controllo della consistenza, delle caratteristiche e della modalità di funzionamento.
Motivi di esclusione o cancellazione
Il diritto di revoca non è previsto per contratti
relativi alla fornitura di merci che non sono prefabbricate e per la produzione delle quali è determinante una scelta o determinazione individuale da parte del consumatore oppure che sono evidentemente adattate alle esigenze personali del consumatore;
relativi alla fornitura di merci che si deteriorano rapidamente o la cui data di scadenza verrebbe rapidamente superata;
relativi a bevande alcoliche il cui presso è stato concordato al momento della stipula del contratto, ma che potrebbero essere consegnate al più presto 30 giorni dalla data della stipula del contratto e il valore attuale delle quali dipende dalle oscillazioni sul mercato sulle quali l'imprenditore non ha influsso;
relativi alla fornitura di giornali, riviste o illustrati, ad eccezione di contratti di abbonamento.
Il diritto di revoca decade prima del tempo per contratti
relativi alla fornitura di merci che, per motivi della tutela della salute o di igiene, non sono adatti alla restituzione, se il sigillo è stato rimosso dopo la consegna;
relativi alla fornitura di merci, se questi dopo la consegna sono stati mischiati con altri beni in modo inseparabile a causa della loro consistenza;
relativi alla fornitura di registrazioni audio o video o software di computer in una confezione sigillata, se il sigillo è stato rimosso dopo la consegna.
Fac simile modello di revoca
(Qualora desideriate rescindere il contratto, vi preghiamo di restituire il presente modulo debitamente compilato.)
Alla Sebastian Seckfort, Luftpark 2, 04509 Löbnitz, Indirizzo e-mail: kontakt@bookfarm.de :
Con la presente io sottoscritto/noi sottoscritti rescindo/rescindiamo il contratto da me/da noi stipulato in relazione all'acquisto delle seguenti merci ()/
all'esecuzione dei seguenti servizi ()
Ordinati il ()/ ricevuti il ()
Nome del consumatore
Indirizzo del consumatore
Firma del consumatore (solo in caso di comunicazione cartacea)
Data
(*) Sbarrare le indicazioni non corrispondenti.
The flat shipping rates are based on shipments with an average weight. If the book you ordered is particularly heavy or bulky, we will inform you of any additional shipping charges that may apply.
| Quantità dell?ordine | Da 7 a 14 giorni lavorativi | Da 7 a 14 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 40.00 | EUR 40.00 |
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.