Articoli correlati a Formal Description Techniques and Protocol Specification,...

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - Rilegato

Togashi, Atsushi; Higashino, Teruo; Shiratori, Norio; Mizuno, Tadanori

 
9780412820601: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97
Rilegato
ISBN 10: 0412820609 ISBN 13: 9780412820601
Casa editrice: Springer-Verlag GmbH, 1997

Sinossi

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Invited talk I: network and application for new generation. Testing theory for concurrent systems. MSC and ODP. LOTOS and extension. Verification technique. Conformance testing. Invited talk II: the future information technology and its impact to the society. Real time systems. Languages and applications. Industrial usage reports. Invited talk III: distributed object consistency. Concurrent systems.

Product Description

Has wear

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer-Verlag GmbH
  • Data di pubblicazione1997
  • ISBN 10 0412820609
  • ISBN 13 9780412820601
  • RilegaturaCopertina rigida
  • LinguaInglese
  • Numero di pagine580
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: come nuovo
Like New
Visualizza questo articolo
9780412820601: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97
EUR 297,58

Convertire valuta

EUR 29,36 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9780412820601: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97
EUR 148,80

Convertire valuta

GRATIS per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9781475752601: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

Edizione in evidenza

ISBN 10:  1475752601 ISBN 13:  9781475752601
Casa editrice: Springer, 2013
Brossura

Risultati della ricerca per Formal Description Techniques and Protocol Specification,...

Foto dell'editore

Togashi, Mizuno, Shiratori ,
Editore: Springer, 1997
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato

Da: Basi6 International, Irving, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Brand New. New. US edition. Excellent Customer Service. Codice articolo ABEJUNE24-91784

Contatta il venditore

Compra nuovo

EUR 148,80
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Togashi, Mizuno, Shiratori ,
Editore: Springer, 1997
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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. Codice articolo ABNR-144363

Contatta il venditore

Compra nuovo

EUR 148,80
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Atsushi Togashi|Tadanori Mizuno|Norio Shiratori|Teruo Higashino
Editore: Springer US, 1997
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. FORTE/PSTV 97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the. Codice articolo 5915306

Contatta il venditore

Compra nuovo

EUR 180,07
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Tadanori Mizuno Atsushi Togashi Norio Shiratori
Editore: Springer, 1997
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 580. Codice articolo 26535184

Contatta il venditore

Compra nuovo

EUR 199,34
Convertire valuta
Spese di spedizione: EUR 7,79
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Mizuno Tadanori Togashi Atsushi Shiratori Norio
Editore: Springer, 1997
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 580 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Codice articolo 8361295

Contatta il venditore

Compra nuovo

EUR 202,67
Convertire valuta
Spese di spedizione: EUR 10,39
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Mizuno Tadanori Togashi Atsushi Shiratori Norio
Editore: Springer, 1997
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 580. Codice articolo 18535194

Contatta il venditore

Compra nuovo

EUR 213,39
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Atsushi Togashi
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato
Print on Demand

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch. Codice articolo 9780412820601

Contatta il venditore

Compra nuovo

EUR 213,99
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Atsushi Togashi
Editore: Springer US, Springer US, 1997
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers. Codice articolo 9780412820601

Contatta il venditore

Compra nuovo

EUR 225,03
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo
Editore: Springer, 1997
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9780412820601_new

Contatta il venditore

Compra nuovo

EUR 231,32
Convertire valuta
Spese di spedizione: EUR 10,56
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo
Editore: Springer, 1997
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovo Rilegato

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Feb2215580181235

Contatta il venditore

Compra nuovo

EUR 205,93
Convertire valuta
Spese di spedizione: EUR 64,92
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 2 copie di questo libro

Vedi tutti i risultati per questo libro