Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

ZUM '95: The Z Formal Specification Notation

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

Język AngielskiAngielski
Książka Miękka
Książka ZUM '95: The Z Formal Specification Notation Jonathan P. Bowen
Kod Libristo: 05274496
Wydawnictwo Springer, Berlin, listopad 1994
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in... Cały opis
? points 249 b
445.33 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Computational Intelligence Oliver Kramer / Książka Miękka
common.buy 114.86 zł
PETRI COMPOSTELLANI DE CONSOLATIONE RATIONIS. PEDRO COMPOSTELANO, "LA CONSOLACIÓ ENRIQUE MONTERO CARTELLE / Książka Miękka
common.buy 146.49 zł
Weitere Verfassungen der Beliebigkeit Pelwer Selsheim / Książka Miękka
common.buy 47.49 zł
Orquestacion de la transformacion Michael Wade / E-book Adobe ePub DRM
common.buy 52.20 zł
Vegetarische Sommerküche Paul Ivic / Książka Twarda
common.buy 116.70 zł
TOP
Resumen Y Analisis: El Poder Del Ahora (The Power Of Now) - Basado En El Libro Escrito Por Eckhart Tolle Instabooks Editorial / E-book Adobe ePub DRM
common.buy 44.63 zł
Koraliki drewniane w pastelowych kolorach 80 szt. . / Książka binding.
common.buy 11.25 zł
Digitale Medien Und Soziale Arbeit Daniel Woldrich / Książka Miękka
common.buy 74.11 zł
Niezłomny wyd. 2023 Caroline Alexander / Książka Miękka
common.buy 48.82 zł
Deutsch im Einsatz Coursebook Digital Edition Sophie Duncker / E-book Adobe ePub DRM
common.buy 186.52 zł
DOS Mundos Magdalena Andrade / Audio CD Audio
common.buy 264.12 zł
Der Gott des Gemetzels, 1 Audio-CD Yasmina Reza / Audio CD Audio
common.buy 59.47 zł
Koran lesen lernen: Der Koran erklart - Grundlagen der Koranexegese Artemis Saage - Deutschland / E-book Adobe ePub DRM
common.buy 47.39 zł
Etty Hillesum Alexandra Pleshoyano / Książka Miękka
common.buy 153.35 zł
Verdrangung widerstandiger Lesarten? Medien und Macht bei Jean Baudrillard und Stuart Hall Andreas Mohr / Książka Miękka
common.buy 185.09 zł
سِتَّةُ فُصُولٍ مِنَّا هبه أسعد / Książka Miękka
common.buy 60.39 zł
Pamietniki Jan Chryzostom Pasek / Książka Twarda
common.buy 157.24 zł
WITHOUT YOU FANFARE -PARTITION+PARTIES SEPAREES RON SEBREGTS Książka binding.
common.buy 507.88 zł
Predigten uber Martin Luther Cyriacus Spangenberg / Książka Miękka
common.buy 65.92 zł
El ROI como métrica de la eficacia del marketing : cálculo a través de métodos cuantitativos Pablo J. López Tenorio / Książka Twarda
common.buy 38.59 zł
About a boy Sonja Markowski / Książka Miękka
common.buy 60.19 zł
Contratos internacionales de software Francisco López-Tarruella Martínez / Książka Miękka
common.buy 223.89 zł
Middlepost Antony Sher / Książka Miękka
common.buy 158.67 zł
Révolution - tome 2 Les désordres Hilary Mantel / Książka Miękka
common.buy 118.64 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa ZUM '95: The Z Formal Specification Notation
Autor Jonathan P. Bowen, Michael G. Hinchey
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 583
EAN 9783540602712
ISBN 3540602712
Kod Libristo 05274496
Wydawnictwo Springer, Berlin
Waga 774
Wymiary 156 x 234 x 30

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Kombinatoryka i teoria grafów
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

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 / Książka Miękka
common.buy 86.80 zł
Original Tarbell Lessons in Magic Harlan Tarbell / Książka Miękka
common.buy 238.02 zł
Comanches T R Fehrenbach / E-book Adobe ePub DRM
common.buy 57.01 zł
The Cloud Collector's Handbook Gavin Pretor-Pinney / Książka Twarda
common.buy 64.90 zł
Civil Engineer's Handbook of Professional Practice , 2nd Edition Karen Hansen / Książka Twarda
common.buy 682.84 zł
Atlas of Cone Beam Computed Tomography Yaser Safi / Książka Twarda
common.buy 743.04 zł
'Militant Democracy' Principle in Modern Democracies Markus Thiel / Książka Miękka
common.buy 334.15 zł
Sin And Its Consequences William Ellery Channing / Książka Twarda
common.buy 149.05 zł
Toil And Travel: Being A True Story Of Roving And Ranging When On A Voyage Homeward Bound Round The World (1892) John MacGregor / Książka Miękka
common.buy 145.06 zł
Common EU Maritime Transport Policy Athanasios A. Pallis / Książka Miękka
common.buy 289.31 zł
Marigold Fairy Makes a Friend, 2: Ready-To-Read Level 1 Elizabeth Dennis / Książka Twarda
common.buy 72.37 zł
Leafy Sea Dragons Tara Raymo / Książka Miękka
common.buy 36.23 zł
Tanie
Solutions: Pre-Intermediate: Teacher's Pack (3rd) Christina de la Mare / Książka Miękka
common.buy 138.30 zł
Alice: Out of the Box: A collection of Wonderland-themed dolls Alison Boyd Rasmussen / Książka Miękka
common.buy 68.07 zł
Wheelchairs Scooters and Sticks TERRY REYNOLDS / Książka Miękka
common.buy 96.53 zł
Back home, into the Sky! Tatiana Danina / Książka Miękka
common.buy 44.32 zł
Foundation of Numerical Analysis: Implementation with GNU Octave/Matlab Dr S Nakamura / Książka Miękka
common.buy 75.75 zł
Noirlathotep: Tales of Lovecraftian Crime Paul Brian McCoy / Książka Miękka
common.buy 64.18 zł
Elijiah Felix Mendelssohn / Książka Miękka
common.buy 56.50 zł
Leading School Improvement: Does gender matter? Didar Panah / Książka Miękka
common.buy 192.46 zł
Influencers Carole Lamarque / Książka Miękka
common.buy 136.36 zł
Kotlin Quick Start Guide Marko Devcic / Książka Miękka
common.buy 149.15 zł
Best Climbs Denver and Boulder Stewart M. Green / Książka Miękka
common.buy 109.74 zł
ZweybruCken in Command Neil Cogswell / Książka Miękka
common.buy 122.94 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?