phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Program Development

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Program Development Bernhard Möller
Libristo kód: 05274365
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopadu 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Celý popis
? points 147 b
1 472 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-14 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Little Polar Bear Hans DeBeer / Brožovaná
common.buy 181 Kč
TOP
State Counsellor Boris Akunin / Brožovaná
common.buy 258 Kč
Akutní stavy na interním oddělení Jan Piťha / Brožovaná
common.buy 300 Kč
Medieval Cruelty Daniel Baraz / Pevná
common.buy 2 097 Kč
literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster / Brožovaná
common.buy 867 Kč
Un faux pas dans la nuit Lhoste / Brožovaná
common.buy 586 Kč
Great War of the Dark Age Dominique Wohlschlag / Brožovaná
common.buy 271 Kč
Degas Notebook Degas / Brožovaná
common.buy 104 Kč
Urban Transformations: Centres, Peripheries and Systems Daniel P. O'Donoghue / Pevná
common.buy 3 191 Kč
Living with Nietzsche Robert C. Solomon / Brožovaná
common.buy 1 206 Kč
Blow Up the Humanities Toby Miller / Brožovaná
common.buy 697 Kč
Future of the Euro Matthias Matthijs / Pevná
common.buy 4 628 Kč
Lehrbuch u. 1 MP3-CD / Pevná
common.buy 2 103 Kč
Shirley Charlotte Brontë / Brožovaná
common.buy 510 Kč
Romans John F MacArthur / Brožovaná
common.buy 308 Kč
Professional Dining Room Management, 2nd Edition Carol A. King / Brožovaná
common.buy 3 545 Kč

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme of the group's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculation of programs from such specifications.

Informace o knize

Plný název Formal Program Development
Autor Bernhard Möller, Helmut Partsch, Steve Schuman
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1993
Počet stran 375
EAN 9783540574996
ISBN 3540574999
Libristo kód 05274365
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1210
Rozměry 155 x 233 x 21

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Matematika a věda > Matematika > Kombinatorika a teorie grafů
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet