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ł.

Formal Specification

Techniques and Applications

Język AngielskiAngielski
Książka Miękka
Książka Formal Specification Nimal Nissanke
Kod Libristo: 06798524
Wydawnictwo Springer, Berlin, lipiec 1999
Formal Specification provides the reader with a practical and versatile approach to constructing pro... Cały opis
? points 122 b
219.48 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Aus meinem Leben; Dichtung und Wahrheit Peter Sprengel / Książka Twarda
common.buy 230.92 zł
Bola de Drac Definitiva nº 15/34 Akira Toriyama / Książka Miękka
common.buy 77.97 zł
?ric i l'Exèrcit del Fènix. Bertran Martínez / Książka Miękka
common.buy 72.05 zł
Weil das Leben fragt Josef Hiebaum / Książka Miękka
common.buy 93.22 zł
Rebecca Malcolm Jones / Książka Miękka
common.buy 99.15 zł
Einführung in die Kunstpädagogik Georg Peez / Książka Miękka
common.buy 119.62 zł
TOP
Bully - Szívatás Douglas / Książka Miękka
common.buy 58.90 zł
Manual completo del ajedrez Marco Iudicello / E-book Adobe ePub DRM
common.buy 48.45 zł
Procedimientos para solucionar problemas de Nociones matematicas Marisol Lopez Fernandez / Książka Miękka
common.buy 139.49 zł
Percy Jackson - Die Schlacht um das Labyrinth (Percy Jackson 4) Rick Riordan / Książka Twarda
common.buy 62.71 zł
Vadims Methode Vadim Tschenze / Książka Miękka
common.buy 55.09 zł
Unternehmensfuhrung im Handelsbetrieb Wolfgang Oehme / Książka Miękka
common.buy 251.29 zł
Grundlagen Des Operations Research 3 Tomas Gal / Książka Twarda
common.buy 205.12 zł
Diskrete Mathematik L Szl Lov Sz / Książka Miękka
common.buy 95.73 zł
Neues Museum des Witzes und der Laune : eine humoristische Anthologie Ernst Ortlepp / Książka Miękka
common.buy 67.90 zł
Fotografía para todos : más de 300 trucos y consejos de los grandes expertos AA. VV. / Książka Miękka
common.buy 123.33 zł
Schlesische Urkunden zur Geschichte der Juden im Mittelalter Ludwig Oelsner / Książka Miękka
common.buy 54.79 zł
Poste d'aiguillage Resplendino / Książka Miękka
common.buy 69.64 zł
EL ORIGEN DE LOS OTROS TONI MORRISON / Książka Twarda
common.buy 64.32 zł
Festschrift Zur Feier Des 50 Jahrigen Bestehens Der Liebig-Realschule Zu Frankfurt A.Main Am 18. Juni 1905 Anonymous / Książka Miękka
common.buy 92.28 zł
Le Procede La Gomme Bichromatee Ou Photo-Aquateinte (1898) Alfred Ogle Maskell / Książka Miękka
common.buy 92.28 zł
Dragon Ball Super nº 06 Akira Toriyama / Audio CD Audio
common.buy 39.63 zł
Gonzalo Fernandez de Oviedo (Lucena), the unknown son of the Embassador Juan Ramirez de Lucena and author of La Celestina Govert Westerveld / Książka Twarda
common.buy 210.84 zł
Docteur, rendez-moi ma liberté - Euthanasie : un médecin belge témoigne... Yves de Locht / Książka Miękka
common.buy 94.43 zł

Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.

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 Formal Specification
Autor Nimal Nissanke
Język Angielski
Oprawa Książka - Miękka
Data wydania 1999
Liczba stron 295
EAN 9781852330026
ISBN 1852330023
Kod Libristo 06798524
Wydawnictwo Springer, Berlin
Waga 488
Wymiary 156 x 234 x 16

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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ć

Drum Set Development L1 Giovanni Andreani / Książka Miękka
common.buy 83.29 zł
Wars of the Roses John Ashdown-Hill / Książka Miękka
common.buy 60.51 zł
Perennials for the Pacific Northwest: 500 Best Plants for Flower Gardens Marty Wingate / Książka Miękka
common.buy 86.93 zł
The Christmas Spirit MACOMBER DEBBIE / Książka Miękka
common.buy 34.31 zł
Essays In The Art of Writing Robert Louis Stevenson / Książka Miękka
common.buy 37.13 zł
Rigid Body Dynamics For Beginners: Euler angles & Quaternions Phil Kim / Książka Miękka
common.buy 158.44 zł
Your Career as a Fashion Designer Institute for Career Research / Książka Miękka
common.buy 47.01 zł
Midst of Heaven Roy Gladden / Książka Miękka
common.buy 64.30 zł
How To Write A Good Advertisement Victor O Schwab / Książka Twarda
common.buy 149.80 zł
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Alessandro Fantechi / Książka Miękka
common.buy 224.29 zł
International Criminal Law and Sexual Violence against Women Daniela (Queen Mary University of London UK) Nadj / Książka Twarda
common.buy 1 061.79 zł
In the Shadow of a Dark Room Albert E Sisson / Książka Miękka
common.buy 64.50 zł
Deutsche Thesen gegen den Papst und seine Dunkelmanner - Antikatholische Erzahlungen Oskar Panizza / Książka Miękka
common.buy 40.94 zł
Jean Cocteau: The Juggler's Revenge Kenneth E Silver / Książka Miękka
common.buy 164.28 zł
Routledge Companion to Digital Ethnography Larissa Hjorth / Książka Miękka
common.buy 326.86 zł
British Economic Development in South East Asia, 1880 - 1939, Volume 3 David Sunderland / E-book Adobe ePub DRM
common.buy 385.42 zł
The Doomsday Mother: Lori Vallow, Chad Daybell, and the End of an American Family Glatt / Książka Miękka
common.buy 44.15 zł
Days and Deeds: A Book of Verse for Children's Reading and Speaking (1906) Burton Egbert Stevenson / Książka Miękka
common.buy 161.94 zł
The Crowd in the French Revolution George F. E. Rudé / Książka Miękka
common.buy 111.11 zł
The Ruba'yat Of Omar Khayam (1899) Omar Khayyam / Książka Miękka
common.buy 92.28 zł
Hydroponics DIY: Beginners Guide On How To Design And Build your Greenhouse Garden For Growing Plants In Water Nick Baras / Książka Miękka
common.buy 60.49 zł
Last Stop David Patterson / Książka Miękka
common.buy 64.42 zł
Cooking Time Stepro Designs / Książka Twarda
common.buy 274.77 zł
Late Capitalist Fascism Mikkel Bolt Rasmussen / Książka Twarda
common.buy 195.39 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?