LIBRO INGLESE
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97
273,00 €
+2730
punti 
Venditore: Feltrinelli
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €
Dati e Statistiche
Salvato in 0 liste dei desideri
Salvato in 0 liste dei desideri
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97
Disponibilità in 2 settimane
273,00 €
273,00 €
Disponibilità in 2 settimane
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.
-
Autore:
-
Editore:
-
Collana:IFIP Advances in Information and Communication Technology
-
Anno:2013
-
Rilegatura:Paperback / softback
Pagine:
550 p.
Testo in English
Dimensioni:
235 x 155 mm
EAN:
9781475752601
Informazioni e Contatti sulla Sicurezza dei Prodotti
Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.
Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it
