phone 02/210 210 99
LIBRISTO 0
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 €
phone Kontakt phoneAko nakupovať

Algebraic Methodology and Software Technology

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Algebraic Methodology and Software Technology Teodor Rus
Libristo kód: 01567397
Nakladateľstvo Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Meth... Celý popis
? points 304 b
121.07 €
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ť

TOP
Field Guide to Lucid Dreaming Dylan Tuccillo / Brožovaná
common.buy 12.90 €
Akupresura Jiří Marek / Kniha
common.buy 8.16 €
Společenská hra Pohádkový soubor 9 her / Hra
common.buy 19.26 €
Proyecto Adieu:: Guía didactica del discurso academico escrito Graciela Vázquez / Brožovaná
common.buy 35.10 €
Fourteen Satires of Juvenal JuvenalJohn Duff Duff / Brožovaná
common.buy 58.21 €
Focus on Nonlinear Analysis Research Gualtiero Padovani / Pevná
common.buy 244.16 €
Routledge Guidebook to Machiavelli's The Prince John T. Scott / Pevná
common.buy 160.72 €
Racism and the Law Gerald J. Postema / Pevná
common.buy 121.07 €
Scale Issues in Remote Sensing JianFeng Weng / Pevná
common.buy 170.00 €
Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder / Brožovaná
common.buy 68.40 €
New Mexico's Buffalo Soldiers Billington / Brožovaná
common.buy 36.62 €
Empire in Waves Scott Laderman / Brožovaná
common.buy 34.09 €

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, held in Iowa City, Iowa, USA, in May 2000.The 20 revised full papers presented together with eight invited contributions were carefully reviewed and selected from a total of 53 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML, etc.

Informácie o knihe

Celý názov Algebraic Methodology and Software Technology
Autor Teodor Rus
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2000
Počet strán 545
EAN 9783540675303
ISBN 3540675302
Libristo kód 01567397
Nakladateľstvo Springer, Berlin
Váha 780
Rozmery 155 x 235 x 29

Kategórie

Matematika a veda > Matematika > Algebra
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Počítačová bezpečnosť > Šifrovanie dát
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet