Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII.98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3.6 November 1998, Paris, France /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Stan Budkowski, Ana Cavalli, Elie Najm (edición)
Médium: Kniha
Jazyk:angličtina
Vydáno: Nueva York, EUA : Springer, 1998, c1998
Edice:(IFIP Advances in Information and Communication Technology)
On-line přístup:Ver documento en línea
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam^a22000000a04500
001 000597853
009 20260330184724.203
020 |a 978-0-387-35394-4 
022 |a 1868-422X 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
100 |a Stan Budkowski, Ana Cavalli, Elie Najm  |e (edición) 
245 |a Formal Description Techniques and Protocol Specification, Testing and Verification :  |b FORTE XI/PSTV XVIII.98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3.6 November 1998, Paris, France / 
264 4 |a Nueva York, EUA :  |b Springer,  |c 1998, c1998 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2025 
300 |a 1 libro electrónico en línea (XVI, 472 p.) 
300 |a 1 recurso en línea 
336 |a datos para computadora  |b cod  |2 rdacontenido 
337 |a computadora  |b c  |2 rdamedio 
338 |a recurso en línea  |b cr  |2 rdasoporte 
440 |a (IFIP Advances in Information and Communication Technology) 
506 0 |a Licencias ilimitadas 
567 |a Catalogación rápida 
649 |a XX 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-0-387-35394-4  |y Ver documento en línea 
910 |a Fondo General 
920 |a Electrónicos - Libros en Línea 
930 |a Plataforma Digital 
905 |a 205 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000597853