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 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Industrial-Strength Formal Methods in Practice

Język AngielskiAngielski
Książka Miękka
Książka Industrial-Strength Formal Methods in Practice Michael G. Hinchey
Kod Libristo: 01435295
Wydawnictwo Springer London Ltd, wrzesień 1999
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone... Cały opis
? points 365 b
652.72 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Математические таблицы Тхомас Магето / Książka Miękka
common.buy 154.11 zł
BOHMISCHE POLKAS ACCORDEON JOE ALEX Prasa Nuty
common.buy 93.43 zł
Лошади / Książka Miękka
common.buy 60.68 zł
Dziennik moskiewski Walter Benjamin / Książka Miękka
common.buy 51.47 zł
Láska a jiná slova Christina Lauren / Książka Twarda
common.buy 29.16 zł
Der Anachronismus Anarchischer Komik Daniel Arnet / Książka Miękka
common.buy 407.41 zł
Junior:: 3 guide pédagogique Butzbach / Książka Miękka
common.buy 86.47 zł
Speak Ukrainian correctly L. Savchenko / Książka Twarda
common.buy 49.52 zł
Soziologie der Parteien Jenni Brichzin / E-book Adobe ePub DRM
common.buy 258.50 zł
Slon africký / Gra/Zabawka Zabawka
common.buy 29.67 zł
Kolejka Błażeja. Mały chłopiec Emilie Beaumont / Książka Twarda
common.buy 11.96 zł
La vie est facile ne t'inquiète pas / Les gens heureux lisent et boivent du café Agnès Martin-Lugand / Książka Miękka
common.buy 68.97 zł
L'Oracle d'enquête - Un oracle unique pour résoudre une incroyable enquête occulte Emmanuelle Iger / Gra/Zabawka Gra
common.buy 96.80 zł
Light Darkest Audio CD Audio
common.buy 58.73 zł
Urny patřej na hřbitov Jiří Urban / Książka Miękka
common.buy 15.34 zł
Forex Trading Mark Graham / Książka Miękka
common.buy 52.28 zł
Destellos de Casiopea Cesar Rubio Aracil / Książka Miękka
common.buy 60.17 zł
Das Ende des Glaubens Sam Harris / Książka Twarda
common.buy 69.68 zł
Manoppello-Code Markus van den Hövel / Książka Miękka
common.buy 62.11 zł
Deutsche Nationalhymnen Bernhard Höfele / Książka Miękka
common.buy 37.65 zł
Finanzmarktkrise 2008/2009 und ihre Folgen Martin Schaarschmidt / Książka Miękka
common.buy 58.63 zł
Nuclear Security Systems and Measures for Major Public Events (Spanish Edition) IAEA / Książka Miękka
common.buy 145.72 zł
ersten Buchmessen der Nachkriegszeit in Leipzig und Frankfurt Anja Gruber-Wiedemann / Książka Miękka
common.buy 104.99 zł
ADHS Wolfdieter Jenett / Książka Miękka
common.buy 77.56 zł

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.

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 Industrial-Strength Formal Methods in Practice
Autor Michael G. Hinchey, Jonathan P. Bowen
Język Angielski
Oprawa Książka - Miękka
Data wydania 1999
Liczba stron 400
EAN 9781852336400
ISBN 1852336404
Kod Libristo 01435295
Wydawnictwo Springer London Ltd
Waga 1290
Wymiary 155 x 235 x 23

Kategoria

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) > 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ć

101 Ways to Get Her to Dump You After the First Date. Jennifer A Kilmer / Książka Miękka
common.buy 52.49 zł
Peggy Dean's Guide to Nature Drawing Peggy Dean / Książka Miękka
common.buy 77.67 zł
TOP
Sprawlball Kirk Goldsberry / Książka Twarda
common.buy 85.75 zł
George Washington's 1790 Grand Tour of Long Island Dr Joanne S Grasso / Książka Miękka
common.buy 80.94 zł
Blue Horizon, 3 Wilbur Smith / Książka Miękka
common.buy 64.97 zł
Alternative Uses of Dermatoscopy, An Issue of Dermatologic Clinics Giuseppe Micali / Książka Twarda
common.buy 443.22 zł
Multi-Criteria Decision Making Approaches for Supplier Selection Vinod Yadav / Książka Miękka
common.buy 138.76 zł
Insights For The Senior's Ministry: Understanding The Myths & Truths Of The Aging Process Dr Joseph R Rogers Sr / Książka Miękka
common.buy 56.48 zł
Bosna u Istorijskoj Perspektivi Camil Ef J Avdic / Książka Miękka
common.buy 67.84 zł
Anthropological Investigations on one Thousand White and Colored Children of Both Sexes, the Inmates of the New York Juvenile Asylum, With Additional ALES HRDLICKA / Książka Twarda
common.buy 161.69 zł
Love, Marriage, Divorce and Remarriage: Second Edition Raymond E Parry / Książka Miękka
common.buy 36.93 zł
Moving With Words & Actions Rhonda Clements / Książka Miękka
common.buy 195.26 zł
Introduction to Tensor Analysis and the Calculus of Moving Surfaces Pavel Grinfeld / Książka Miękka
common.buy 218.49 zł
China's Maritime Silk Road and Asia Vijay Sakhuja / Książka Miękka
common.buy 136.82 zł
Gellerman's International Reed Organ Atlas Robert F. Gellerman / Książka Twarda
common.buy 160.56 zł
Anestesia E Malattie Concomitanti: Fisiopatologia E Clinica de Periodo Perioperatorio G.L. ALATI / Książka Miękka
common.buy 223.30 zł
Illustrated History of the Herbals Frank J Anderson / Książka Miękka
common.buy 64.87 zł
Effect of Blade Cooling on Performance of a Gas Turbine Power Plant. Bernard L. Buteau / Książka Miękka
common.buy 79.51 zł
TOP
Pseudomonarchia Daemonum Cai Porter / Książka Miękka
common.buy 52.49 zł
Gene Regulation and Epigenetics Carsten Carlberg / Książka Twarda
common.buy 370.26 zł
Divine Contradiction Beall / Książka Twarda
common.buy 423.88 zł
Thing About Luck Cynthia Kadohata / Audiobook MP3
common.buy 84.11 zł
Customer Success Economy Nick Mehta / E-book Adobe ePub DRM
common.buy 104.68 zł
World War II: Aftermath of World War II Elisabeth Herschbach / Książka Miękka
common.buy 50.03 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?