Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII ’97

Valutazione media 0
( su 0 valutazioni fornite da GoodReads )
 
9780412820601: Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII ’97

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.

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

I migliori risultati di ricerca su AbeBooks

1.

Atsushi Togashi
Editore: Chapman and Hall (1997)
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Chapman and Hall, 1997. HRD. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780412820601

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 260,90
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,70
In U.S.A.
Destinazione, tempi e costi

2.

Togashi, Atsushi
Editore: Springer (2016)
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780412820601_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 262,70
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,86
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

ATSUSHI TOGASHI
Editore: Springer (1997)
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer, 1997. Hardback. Condizione libro: NEW. 9780412820601 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0277984

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 258,01
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,25
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Atsushi Togashi
Editore: Chapman and Hall (1997)
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Chapman and Hall, 1997. HRD. Condizione libro: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Codice libro della libreria IP-9780412820601

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 260,94
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,40
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio
Editore: Springer (1997)
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Rilegato Quantità: 15
Print on Demand
Da
English-Book-Service Mannheim
(Mannheim, Germania)
Valutazione libreria
[?]

Descrizione libro Springer, 1997. Condizione libro: New. This item is printed on demand for shipment within 3 working days. Codice libro della libreria LP9780412820601

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 293,07
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 5,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

6.

Atsushi Togashi,Teruo Higashino,Norio Shiratori,Tadanori Mizuno
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Quantità: 5
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-ING-00708834

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 297,71
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,46
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori
Editore: Chapman and Hall, United Kingdom (1997)
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Rilegato Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Chapman and Hall, United Kingdom, 1997. Hardback. Condizione libro: New. 1997 ed.. 234 x 156 mm. Language: English . Brand New Book ***** Print on Demand *****. 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 libro della libreria APC9780412820601

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 311,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori
Editore: Chapman and Hall, United Kingdom (1997)
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Rilegato Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Chapman and Hall, United Kingdom, 1997. Hardback. Condizione libro: New. 1997 ed.. 234 x 156 mm. Language: English . Brand New Book ***** Print on Demand *****.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 libro della libreria APC9780412820601

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 313,76
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Higashino Teruo Shiratori Norio Mizuno Tadanori Higashino T. Shiratori N. Mizuno T. Togashi Atsushi
Editore: Springer
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Quantità: 1
Print on Demand
Da
Majestic Books
(London, ,, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer. Condizione libro: New. pp. xi + 550 This item is printed on Demand. Codice libro della libreria 8361295

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 347,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,36
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Teruo Higashino
Editore: Springer (1997)
ISBN 10: 0412820609 ISBN 13: 9780412820601
Nuovi Rilegato Quantità: 1
Print on Demand
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 1997. Hardcover. Condizione libro: New. This item is printed on demand. Codice libro della libreria SONG0412820609

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 354,44
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,70
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro