Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Ako nakupovať
Pomoc
Doručenie
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod.
Založiť účet zdarma
▸
Prázdny :-(
0
ZB 2002: Formal Specification and Development in Z and B
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the Second International Conference of B and Z Use...
Celý popis
Libristo kód: 01564070
?
154 b
154 b
61.46
€
Skladom u dodávateľa v malom množstve
Odosielame za 13-16 dní
30 dní na vrátenie tovaru
Mohlo by vás tiež zaujímať
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.
Informácie o knihe
Celý názov
ZB 2002: Formal Specification and Development in Z and B
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2002
Počet strán
541
EAN
9783540431664
ISBN
3540431667
Libristo kód
01564070
Nakladateľstvo
Springer, Berlin
Váha
767
Rozmery
155 x 235 x 28
Kategórie
Výpočtové a informačné technológie
>
Počítačové programovanie/softvérové inžinierstvo
>
Prekladače a interpretre
Výpočtové a informačné technológie
>
Počítačové programovanie/softvérové inžinierstvo
>
Programovacie a skriptovacie jazyky: všeobecne
