Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 3.49 € Kuriér GLS 4.49 € Zberné miesto GLS 2.99 € SPS 4.49 € SPS Parcel Shop 3.49 € Packeta kurýr 4.49 € Slovenská pošta 4.49 € Zberné miesto DPD 3.49 € Packeta 3.49 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Verification of Object-Oriented Software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Verification of Object-Oriented Software Bernhard Beckert
Libristo kód: 01297498
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Celý popis
? points 139 b
57.14 €
Skladom u dodávateľa v malom množstve Odosielame za 9-13 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Vyjdi, i vyšel Štěpán Hájek / Kniha binding.
common.buy 3.30 €
Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni / Kniha Brožovaná
common.buy 38.96 €
Accès à l'eau potable Elamé / Kniha Brožovaná
common.buy 21.28 €
Papà, guarda! Eva Montanari / Kniha Pevná
common.buy 16.76 €
Top
Sběratel vůní Dominique Roques / Kniha Pevná
common.buy 13.75 €
IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Kniha Brožovaná
common.buy 40.06 €
Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer / Kniha Brožovaná
common.buy 73.81 €
Distinció. Un segle de fotografia de moda Naranjo Niño / Kniha Brožovaná
common.buy 28.61 €
Sto tváří, sto příběhů Jiří Hanuš / Kniha Brožovaná
common.buy 12.44 €
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Kniha Brožovaná
common.buy 16.06 €
Salben im Morgen- und Abendlande Friedrich W. Culmann / Kniha Brožovaná
common.buy 30.42 €
DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN / Kniha Brožovaná
common.buy 23.39 €
Les Archives Star Wars. 1977-1983 Paul Duncan / Kniha Pevná
common.buy 200.55 €
Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant / Kniha Brožovaná
common.buy 9.93 €
Insanlik Sana Hasret Sultanim Süleyman Dama / Kniha Brožovaná
common.buy 12.05 €
Star Trek Deep Space Nine 3 Jeffrey Lang / Kniha Brožovaná
common.buy 13.45 €
Musiklehre, m. DVD Friedrich Neumann / Kniha List
common.buy 44.08 €
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Kniha Brožovaná
common.buy 228.87 €

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. §The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C sharp. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Verification of Object-Oriented Software
Autor Bernhard Beckert
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2011
Počet strán 199
EAN 9783642180699
ISBN 3642180698
Libristo kód 01297498
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 331
Rozmery 155 x 235 x 13

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo > Testovanie a verifikácia softvéru
Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra
Výpočtové a informačné technológie > Počítačový hardvér > Hardvér počítačových a informačných technológií: údržba a opravy
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Objektovo orientované programovanie (OOP)
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Death in the Sahara: The Lords of the Desert and the Timbuktu Railway Expedition Massacre Michael Asher / Kniha Brožovaná
common.buy 13.75 €
The Hot Rats Book Bill Gubbins / Kniha Pevná
common.buy 30.82 €
Artist Formerly Known as Adolf Hitler A.M OVERETT / Kniha Brožovaná
common.buy 13.65 €
Gorillas and Their Infants: A 4D Book Margaret Hall / Kniha Pevná
common.buy 21.88 €
Rethinking New Womanhood Nazia Hussein / Kniha Pevná
common.buy 116.09 €
China Classic Paintings Art History Series - Book 1: Mythology: English Version Zhou Wenjing / Kniha Brožovaná
common.buy 12.54 €
trip Round the World in 1887-8 William Sproston Cain / Kniha Brožovaná
common.buy 27.51 €
Tornadoes Mari C. Schuh / Kniha Brožovaná
common.buy 8.43 €
Anglo-American Insanity Defence Reform Faye Boland / Kniha Brožovaná
common.buy 52.92 €
Stephen Shore: Uncommon Places Stephan Schmidt-Wulffen / Kniha Pevná
common.buy 46.69 €
Will I See My Dog In Heaven Jack Wintz / Kniha Brožovaná
common.buy 14.55 €
The Finest of the Wheat, Volume 1 Selected Excerpts from the Published Works of Watchman Nee Watchman Nee / Kniha Pevná
common.buy 18.48 €
Logic of Thought of Investigation and of Knowledge Vol I Hermann Lotze / Kniha Pevná
common.buy 37.15 €
Quantum Pythagoreans Ivsin / Kniha Brožovaná
common.buy 21.48 €
Back to Zero Gil Rendle / Kniha Brožovaná
common.buy 12.24 €
Distinguishing Marks of a Work of the Spirit of God. Extracted from Mr. Edwards. ... by John Wesley, ... Jonathan Edwards / Kniha Brožovaná
common.buy 17.67 €
Professor X: A Blue Devils MC Kiki Leach / Kniha Brožovaná
common.buy 16.06 €
Proceedings of the 12th International Conference on Advanced Materials and Engineering Materials Laichang Zhang / Kniha Brožovaná
common.buy 199.75 €
Mathematical Olympiad in China (2023): Problems and Solutions XIONG BIN / Kniha Brožovaná
common.buy 29.82 €
Top
Merry Christmas Coloring Book Hanna Karlzon / Kniha Pevná
common.buy 13.65 €
Surgical Recall Blackbourne / Kniha Brožovaná
common.buy 65.10 €
Detective Dogs Are on the Case STEVENS ALISON PEARCE / Kniha Pevná
common.buy 15.76 €
"They Say / I Say" with Readings Gerald Graff / Kniha Pevná
common.buy 62.96 €
Structural Equation Modelling with Partial Least Squares Using Stata and R Mehmetoglu / Kniha Brožovaná
common.buy 73.30 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?