Visar alla böcker från författaren {{authorName}}. Handla med fri frakt och snabb leverans.

https://classic.bokus.com/cgi-bin/log_in_real.cgi?redirect=/cgi-bin/account_bplay_settings.cgi

Just nu hanterar du ditt Bokus Play-abonnemang på vår tidigare webbplats.

Upptäck tusentals ljudböcker och e-böcker med Bokus Play. Välj det abonnemang som passar dig och börja läs eller lyssna direkt, snabbt och smidigt.

Hantera ditt Bokus Play-abonnemang

Utforska vårt utbud av produkter inom {{category}}. Köp online eller reservera i butik.

Företag, bibliotek eller offentlig förvaltning?

Köp dina böcker online eller reservera i butik! Inspireras av personalens digitala boktips och hitta din närmaste butik.

Just nu hanterar du dina digitala böcker på vår tidigare webbplats.

Din digitala bokhylla

E-böcker och ljudböcker handlar du än så länge på vår

Letar du efter digitala böcker?

...men än så länge handlar du den på vår tidigare sajt.

Produkten finns fortfarande tillgänglig på vår tidigare sajt.

Vi har boken

Hej {{firstName}}. Vi behöver din e-postadress för att kunna slutföra inloggningen.

Vi är ledsna - just nu kan du inte se dina sparade favoriter. Vi jobbar på att få tillbaka funktionen så snart
 vi kan.
 
 
 Har du frågor är du alltid välkommen att
 <a href="/kundservice" class="text-subdued link-underline whitespace-nowrap">
 kontakta vår kundservice
 </a>

Dina favoriter kommer snart tillbaka

Sidfot

Ange engångskoden som vi har skickat till {{recipient}} för att logga in.

Ange din engångskod

Ta del av exklusiva vänpriser, personliga erbjudanden, inspirerande evenemang, utvalda boktips och mycket mer. Bli medlem idag och få mer av det du gillar!

Du behöver ange din e-postadress för att fortsätta inloggningen.

Vi hittar inget medlemskonto kopplat till ditt personnummer. Vill du bli medlem? 

Lägg till mobilnummer

Ange din nya epostadress nedan. Du kommer sedan få ett mail med en kod för att verifiera din nya epostadress.

Ändra epostadress

Ange ditt nya mobilnummer nedan. Du kommer sedan få ett sms med en kod för att verifiera ditt nya mobilnummer.

Ändra mobilnummer

Här väljer du hur du vill ta emot erbjudanden, nyheter och inspiration från oss. Du kan ändra dina inställningar när som helst.

Du handlar på <a href="https://classic.bokus.com">classic.bokus.com</a>, där alla dina funktioner finns intakta.

product

Home

Campaigns Navigation

Popular Navigation

Settings Navigation

Nikolai Kosmatov

Laura Kovács

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.

Företag, bibliotek eller offentlig verksamhet?

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

Beskrivning

Produktinformation

Utforska kategorier

Du kanske också är intresserad av

Gedichte analysieren und interpretieren

Guide to Software Verification with Frama-C

Tests and Proofs

Guide to Software Verification with Frama-C

Testing Software and Systems

Tests and Proofs

Mikrohullámú Sütés kezdőknek

Tools and Algorithms for the Construction and Analysis of Systems

Reachability Problems

Tools and Algorithms for the Construction and Analysis of Systems

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration