Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

ZUM '95: The Z Formal Specification Notation

9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha ZUM '95: The Z Formal Specification Notation Jonathan P. Bowen
Libristo kód: 05274496
Nakladatelství Springer, Berlin, listopad 1994
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Computational Intelligence Oliver Kramer / Kniha Brožovaná
common.buy 607 Kč
PETRI COMPOSTELLANI DE CONSOLATIONE RATIONIS. PEDRO COMPOSTELANO, "LA CONSOLACIÓ ENRIQUE MONTERO CARTELLE / Kniha Brožovaná
common.buy 902 Kč
Weitere Verfassungen der Beliebigkeit Pelwer Selsheim / Kniha Brožovaná
common.buy 266 Kč
Orquestacion de la transformacion Michael Wade / E-kniha Adobe ePub DRM
common.buy 293 Kč
Vegetarische Sommerküche Paul Ivic / Kniha Pevná
common.buy 748 Kč
Resumen Y Analisis: El Poder Del Ahora (The Power Of Now) - Basado En El Libro Escrito Por Eckhart Tolle Instabooks Editorial / E-kniha Adobe ePub DRM
common.buy 250 Kč
Koraliki drewniane w pastelowych kolorach 80 szt. . / Kniha binding.
common.buy 74 Kč
Digitale Medien Und Soziale Arbeit Daniel Woldrich / Kniha Brožovaná
common.buy 390 Kč
Niezłomny wyd. 2023 Caroline Alexander / Kniha Brožovaná
common.buy 315 Kč
Deutsch im Einsatz Coursebook Digital Edition Sophie Duncker / E-kniha Adobe ePub DRM
common.buy 1 050 Kč
DOS Mundos Magdalena Andrade / Audio Audio CD
common.buy 1 411 Kč
Der Gott des Gemetzels, 1 Audio-CD Yasmina Reza / Audio Audio CD
common.buy 334 Kč
Koran lesen lernen: Der Koran erklart - Grundlagen der Koranexegese Artemis Saage - Deutschland / E-kniha Adobe ePub DRM
common.buy 266 Kč
Etty Hillesum Alexandra Pleshoyano / Kniha Brožovaná
common.buy 859 Kč
Verdrangung widerstandiger Lesarten? Medien und Macht bei Jean Baudrillard und Stuart Hall Andreas Mohr / Kniha Brožovaná
common.buy 975 Kč
سِتَّةُ فُصُولٍ مِنَّا هبه أسعد / Kniha Brožovaná
common.buy 317 Kč
Pamietniki Jan Chryzostom Pasek / Kniha Pevná
common.buy 837 Kč
WITHOUT YOU FANFARE -PARTITION+PARTIES SEPAREES RON SEBREGTS Kniha binding.
common.buy 2 842 Kč
Predigten uber Martin Luther Cyriacus Spangenberg / Kniha Brožovaná
common.buy 348 Kč
El ROI como métrica de la eficacia del marketing : cálculo a través de métodos cuantitativos Pablo J. López Tenorio / Kniha Pevná
common.buy 241 Kč
About a boy Sonja Markowski / Kniha Brožovaná
common.buy 318 Kč
Contratos internacionales de software Francisco López-Tarruella Martínez / Kniha Brožovaná
common.buy 1 373 Kč
Middlepost Antony Sher / Kniha Brožovaná
common.buy 888 Kč
Révolution - tome 2 Les désordres Hilary Mantel / Kniha Brožovaná
common.buy 664 Kč

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název ZUM '95: The Z Formal Specification Notation
Autor Jonathan P. Bowen, Michael G. Hinchey
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1995
Počet stran 583
EAN 9783540602712
ISBN 3540602712
Libristo kód 05274496
Nakladatelství Springer, Berlin
Váha 774
Rozměry 156 x 234 x 30

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í > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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 > 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

Mohlo by vás také zajímat

A History of Vermont, from Its First Settlement to the Present Time: With a Geographical Account of the Country, and a View of Its Original Inhabitant Francis Smith Eastman / Kniha Brožovaná
common.buy 463 Kč
Top
Original Tarbell Lessons in Magic Harlan Tarbell / Kniha Brožovaná
common.buy 1 276 Kč
Comanches T R Fehrenbach / E-kniha Adobe ePub DRM
common.buy 319 Kč
The Cloud Collector's Handbook Gavin Pretor-Pinney / Kniha Pevná
common.buy 318 Kč
Civil Engineer's Handbook of Professional Practice , 2nd Edition Karen Hansen / Kniha Pevná
common.buy 3 632 Kč
Atlas of Cone Beam Computed Tomography Yaser Safi / Kniha Pevná
common.buy 3 952 Kč
'Militant Democracy' Principle in Modern Democracies Markus Thiel / Kniha Brožovaná
common.buy 1 787 Kč
Sin And Its Consequences William Ellery Channing / Kniha Pevná
common.buy 794 Kč
Toil And Travel: Being A True Story Of Roving And Ranging When On A Voyage Homeward Bound Round The World (1892) John MacGregor / Kniha Brožovaná
common.buy 772 Kč
Common EU Maritime Transport Policy Athanasios A. Pallis / Kniha Brožovaná
common.buy 1 544 Kč
Marigold Fairy Makes a Friend, 2: Ready-To-Read Level 1 Elizabeth Dennis / Kniha Pevná
common.buy 382 Kč
Leafy Sea Dragons Tara Raymo / Kniha Brožovaná
common.buy 191 Kč
Levně
Solutions: Pre-Intermediate: Teacher's Pack (3rd) Christina de la Mare / Kniha Brožovaná
common.buy 626 Kč
Alice: Out of the Box: A collection of Wonderland-themed dolls Alison Boyd Rasmussen / Kniha Brožovaná
common.buy 362 Kč
Wheelchairs Scooters and Sticks TERRY REYNOLDS / Kniha Brožovaná
common.buy 512 Kč
Back home, into the Sky! Tatiana Danina / Kniha Brožovaná
common.buy 235 Kč
Foundation of Numerical Analysis: Implementation with GNU Octave/Matlab Dr S Nakamura / Kniha Brožovaná
common.buy 403 Kč
Noirlathotep: Tales of Lovecraftian Crime Paul Brian McCoy / Kniha Brožovaná
common.buy 340 Kč
Elijiah Felix Mendelssohn / Kniha Brožovaná
common.buy 299 Kč
Leading School Improvement: Does gender matter? Didar Panah / Kniha Brožovaná
common.buy 1 014 Kč
Influencers Carole Lamarque / Kniha Brožovaná
common.buy 763 Kč
Kotlin Quick Start Guide Marko Devcic / Kniha Brožovaná
common.buy 795 Kč
ZweybruCken in Command Neil Cogswell / Kniha Brožovaná
common.buy 647 Kč
Rethinking Genre in Contemporary Global Cinema Silvia Dibeltulo / Kniha Brožovaná
common.buy 3 654 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?