Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Industrial-Strength Formal Methods in Practice

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Industrial-Strength Formal Methods in Practice Michael G. Hinchey
Libristo kod: 01435295
Nakladnici Springer London Ltd, rujan 1999
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone... Cijeli opis
? points 365 b
150.92 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Математические таблицы Тхомас Магето / Knjiga Meki uvez
common.buy 35.68 €
BOHMISCHE POLKAS ACCORDEON JOE ALEX Tiskanica Note
common.buy 20.51 €
Лошади / Knjiga Meki uvez
common.buy 13.23 €
Dziennik moskiewski Walter Benjamin / Knjiga Meki uvez
common.buy 13.23 €
Láska a jiná slova Christina Lauren / Knjiga Tvrdi uvez
common.buy 6.76 €
Der Anachronismus Anarchischer Komik Daniel Arnet / Knjiga Meki uvez
common.buy 89.76 €
Junior:: 3 guide pédagogique Butzbach / Knjiga Meki uvez
common.buy 19.00 €
Speak Ukrainian correctly L. Savchenko / Knjiga Tvrdi uvez
common.buy 10.81 €
Soziologie der Parteien Jenni Brichzin / E-knjiga Adobe ePub DRM
common.buy 56.50 €
Slon africký / Igra/Igračka Igračka
common.buy 10.91 €
Kolejka Błażeja. Mały chłopiec Emilie Beaumont / Knjiga Tvrdi uvez
common.buy 3.12 €
La vie est facile ne t'inquiète pas / Les gens heureux lisent et boivent du café Agnès Martin-Lugand / Knjiga Meki uvez
common.buy 15.05 €
L'Oracle d'enquête - Un oracle unique pour résoudre une incroyable enquête occulte Emmanuelle Iger / Igra/Igračka Igra
common.buy 21.22 €
Light Darkest Audio Audio CD
common.buy 13.54 €
Pripremamo
Urny patřej na hřbitov Jiří Urban / Knjiga Meki uvez
common.buy 3.33 €
Forex Trading Mark Graham / Knjiga Meki uvez
common.buy 12.12 €
Destellos de Casiopea Cesar Rubio Aracil / Knjiga Meki uvez
common.buy 13.94 €
Das Ende des Glaubens Sam Harris / Knjiga Tvrdi uvez
common.buy 16.06 €
Manoppello-Code Markus van den Hövel / Knjiga Meki uvez
common.buy 14.35 €
Deutsche Nationalhymnen Bernhard Höfele / Knjiga Meki uvez
common.buy 8.68 €
Finanzmarktkrise 2008/2009 und ihre Folgen Martin Schaarschmidt / Knjiga Meki uvez
common.buy 13.54 €
Nuclear Security Systems and Measures for Major Public Events (Spanish Edition) IAEA / Knjiga Meki uvez
common.buy 33.65 €
ADHS Wolfdieter Jenett / Knjiga Meki uvez
common.buy 17.88 €
Der soziale Rechtsstaat als Alternative zur autoritären Herrschaft. Eun-Jeung Lee / Knjiga Meki uvez
common.buy 70.76 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Industrial-Strength Formal Methods in Practice
Autor Michael G. Hinchey, Jonathan P. Bowen
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1999
Broj stranica 400
EAN 9781852336400
ISBN 1852336404
Libristo kod 01435295
Nakladnici Springer London Ltd
Težina 1290
Dimenzije 155 x 235 x 23

Kategorija

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

101 Ways to Get Her to Dump You After the First Date. Jennifer A Kilmer / Knjiga Meki uvez
common.buy 12.12 €
Peggy Dean's Guide to Nature Drawing Peggy Dean / Knjiga Meki uvez
common.buy 17.98 €
Sprawlball Kirk Goldsberry / Knjiga Tvrdi uvez
common.buy 18.49 €
George Washington's 1790 Grand Tour of Long Island Dr Joanne S Grasso / Knjiga Meki uvez
common.buy 18.69 €
Blue Horizon, 3 Wilbur Smith / Knjiga Meki uvez
common.buy 15.05 €
Alternative Uses of Dermatoscopy, An Issue of Dermatologic Clinics Giuseppe Micali / Knjiga Tvrdi uvez
common.buy 97.24 €
Multi-Criteria Decision Making Approaches for Supplier Selection Vinod Yadav / Knjiga Meki uvez
common.buy 32.04 €
Insights For The Senior's Ministry: Understanding The Myths & Truths Of The Aging Process Dr Joseph R Rogers Sr / Knjiga Meki uvez
common.buy 13.03 €
Bosna u Istorijskoj Perspektivi Camil Ef J Avdic / Knjiga Meki uvez
common.buy 15.66 €
Anthropological Investigations on one Thousand White and Colored Children of Both Sexes, the Inmates of the New York Juvenile Asylum, With Additional ALES HRDLICKA / Knjiga Tvrdi uvez
common.buy 37.39 €
Love, Marriage, Divorce and Remarriage: Second Edition Raymond E Parry / Knjiga Meki uvez
common.buy 8.58 €
Moving With Words & Actions Rhonda Clements / Knjiga Meki uvez
common.buy 43.16 €
Introduction to Tensor Analysis and the Calculus of Moving Surfaces Pavel Grinfeld / Knjiga Meki uvez
common.buy 50.54 €
China's Maritime Silk Road and Asia Vijay Sakhuja / Knjiga Meki uvez
common.buy 31.63 €
Gellerman's International Reed Organ Atlas Robert F. Gellerman / Knjiga Tvrdi uvez
common.buy 37.09 €
Anestesia E Malattie Concomitanti: Fisiopatologia E Clinica de Periodo Perioperatorio G.L. ALATI / Knjiga Meki uvez
common.buy 51.65 €
Illustrated History of the Herbals Frank J Anderson / Knjiga Meki uvez
common.buy 14.95 €
Effect of Blade Cooling on Performance of a Gas Turbine Power Plant. Bernard L. Buteau / Knjiga Meki uvez
common.buy 18.39 €
Pseudomonarchia Daemonum Cai Porter / Knjiga Meki uvez
common.buy 12.12 €
Gene Regulation and Epigenetics Carsten Carlberg / Knjiga Tvrdi uvez
common.buy 85.62 €
Divine Contradiction Beall / Knjiga Tvrdi uvez
common.buy 98.05 €
Thing About Luck Cynthia Kadohata / Audio knjiga MP3
common.buy 18.29 €
Customer Success Economy Nick Mehta / E-knjiga Adobe ePub DRM
common.buy 22.64 €
World War II: Aftermath of World War II Elisabeth Herschbach / Knjiga Meki uvez
common.buy 11.51 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?